16 posts published in the last hour
- 10:37LeanContext: Disentangling Mathematical Resources from Local Formal Context in Lean Whole-Proof Generation
- 10:37SMART: State-based Multi Agent Reasoning Traces for Verification-oriented Problem-Solving
- 10:36Value-oriented policy distillation for interpretable wind farm power control
- 10:36Signals, Evidence, and Context: User Scrutiny in Real-World LLM Conversations
- 10:36iQIYI Reconstructs Lost 1938 Film Using NadouPro AI Workflow
- 10:35The Geometry of Simulated Perspectives: Dissociating Representation and Behaviour in a Multimodal Language Model
- 10:08Egyptian and Nigerian English join the Open ASR Leaderboard
- 10:08BabyTheorist: A Benchmark for Learning to Theorize the World from Observation Alone
- 10:08I watched a humanoid robot clean my apartment. It felt like a taste of the future.
- 10:07MUSS: A Multi-scale and Sequence-based Model for Single-cell Gene Regulation
- 10:07Together AI Releases Together Compiler: Agents Make Inference Up to 2.6x Faster
- 10:07Create Your Own Work Stack: Deploying Self-hosted AI and Tooling in a Tech Startup
- 10:06Cashfree Adds WebMCP Tools to Hosted Checkout for AI Agents
- 10:06A Generative Foundation Model for Multimodal Tokamak Tasks
- 10:06EPG Tops Out Johor Factory for Modular Data Center Production
- 10:06PCBRouteAgent: How Close Are LLM Agents to Becoming PCB Routing Engineers?