Natural Language to First-Order Logic LLM-based Autoformalization
Research
Research News
New papers, breakthroughs and academic AI research
Prior or Feedback? What an LLM Uses When Adapting Neural Operators
Research
Accurate but Not Humble: Evaluating Epistemic Humility in LLM Agents under Knowledge Conflict
Research
SteerCast: Retrieval-Based Latent Steering for Decoder-Only Time Series Forecasting
Research
Why On-Policy Distillation Sometimes Fails: Vanishing Learning Signals
Research
Looking Inside LLMs: Small-World Connectivity as a Signature of Reasoning Performance
Research
A persistent accuracy ceiling in automated verbal deception detection
Research
The Lattice of Transition Laws
Research
Neuro-Memory Fuzzy Inference System for Mimicking Human-like Car Following Behavior
Research
A Structural Theory of Cognitive Representation and Problem Solving,Contexts, Invariance, and the Knowledge Space
Research
Rehearse Everything, Remember Nothing: Attic-KV Rehearses What Will Be Read
Research
Cited but Not Consulted: A Counterfactual Audit of Legal Chain-of-Thought Faithfulness
Research