Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization
Research
Research News
New papers, breakthroughs and academic AI research
FairProp: Fair Node Representation Learning via Differentiable Propagation Layers
Research
AgenticPD: A Stage-Aware Agentic Framework for Closed-Loop Physical Design Optimization
Research
WaveGSSM: Graph Wave State Space Models for Propagating Spatio-Temporal Patterns
Research
The Harness Effect: How Orchestration Design Sets the Token Economics of Enterprise Agentic AI
Research
A Fine-Grained Analysis of the LoRA Fine-Tuning Landscape with Implications for Data Selection
Research
A Hypertoroidal Covering for Perfect Color Equivariance
Research
Mastermind: Strategy-grounded Learning for Repository-Scale Vulnerability Reproduction
Research
Harnessing Multimodal Large Language Models for Training-Free Human-Object Interaction Detection
Research
A Unified Dynamics Framework for Reinforcement Learning and Classical Control of a Six-DOF Pipeline-Tracking ROV in NVIDIA Isaac Sim
Research
BabelFake: A Multilingual Audio-Visual DeepFake Benchmark
Research
Tracing a Sparse Emotion-Control Circuit in LLM-Based Text-to-Speech
Research