ai-research-papers

LIVE PULSE

4.9 Anthropic CEO Amodei calls for slower AI development and shared safety rules — 11 src2.6 Agility Robotics unveils Digit 5 humanoid for warehouses and factories — 2 src2.4 Apple ships rebuilt Siri with Google Gemini, but not in the EU — 2 src2.2 Siri AI in macOS 27 Golden Gate: FAQ, Germany availability, privacy questions — 2 src1.7 Sam Altman says OpenAI will not go public in 2026, citing AI safety concerns — 5 src1.4 OpenAI contractors review real ChatGPT conversations to rate responses, report says — 2 src1.3 Anthropic data retention policy prompts firms to limit Claude use for sensitive work — 1 src1.3 CoMem Paper Proposes Shared and Individual Memory Design for LLM Multi-Agent Systems — 1 src1.3 Paper proposes evolving context parameterization for large language models — 1 src1.3 Fine-Tuning Vision-Language Models with Listener Gaze for Referring Expressions — 1 src4.9 Anthropic CEO Amodei calls for slower AI development and shared safety rules — 11 src2.6 Agility Robotics unveils Digit 5 humanoid for warehouses and factories — 2 src2.4 Apple ships rebuilt Siri with Google Gemini, but not in the EU — 2 src2.2 Siri AI in macOS 27 Golden Gate: FAQ, Germany availability, privacy questions — 2 src1.7 Sam Altman says OpenAI will not go public in 2026, citing AI safety concerns — 5 src1.4 OpenAI contractors review real ChatGPT conversations to rate responses, report says — 2 src1.3 Anthropic data retention policy prompts firms to limit Claude use for sensitive work — 1 src1.3 CoMem Paper Proposes Shared and Individual Memory Design for LLM Multi-Agent Systems — 1 src1.3 Paper proposes evolving context parameterization for large language models — 1 src1.3 Fine-Tuning Vision-Language Models with Listener Gaze for Referring Expressions — 1 src

topic2 events

papersTODAY 04:00 UTC

arXiv paper proposes framing LLM code generation through formal syntactic structure

A revised arXiv preprint argues that although large language models produce fluent-looking code, they offer no formal guarantee that their output is syntactically valid, and they usually ignore the hierarchical grammar of the target language. The work, titled "Weave of Formal Thought," proposes incorporating that structure directly rather than relying on surface-level fluency alone.

code-generation/formal-methods/llm/arxiv

papersSEP 12 04:00 UTC

Specified-Foil Counterfactuals Proposed for Temporal Graph Explanations

A new arXiv paper argues that existing counterfactual explanation methods for temporal graphs only show how to alter past events to flip a prediction, without stating what the resulting outcome should become. The authors introduce "specified-foil" counterfactuals, which target a particular alternative outcome rather than leaving the replacement undefined. The work aims to give users more actionable explanations of predicted events in time-evolving graph data.

counterfactuals/temporal-graphs/explainability/research