06:00UniWM: Unified World Models for Visual Navigation with Memory-Augmented PlanningResearch & Sciencecs.AI updates on arXiv.org9/10Relevance 9 out of 10
06:00How RLHF amplifies sycophancy in language modelsResearch & Sciencecs.AI updates on arXiv.org9/10Relevance 9 out of 10
06:00ECPO: Evidence-Coupled Policy Optimization for Verifier-Audited Candidate RankingResearch & Sciencecs.AI updates on arXiv.org8/10Relevance 8 out of 10
06:00ATWL: A formal language for modeling visual analytics workflowsResearch & Sciencecs.AI updates on arXiv.org7/10Relevance 7 out of 10
06:00Compositional prompt optimization with discrete codebooksResearch & Sciencecs.AI updates on arXiv.org9/10Relevance 9 out of 10
06:00Multimodal models fail to detect implicit harmful content from image-text compositionResearch & Sciencecs.AI updates on arXiv.org9/10Relevance 9 out of 10
06:00Large language models in transportation systems management and operationsResearch & Sciencecs.AI updates on arXiv.org8/10Relevance 8 out of 10
06:00Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement FormalizationResearch & Sciencecs.AI updates on arXiv.org8/10Relevance 8 out of 10
06:00Validating AI-generated political networks against survey dataResearch & Sciencecs.AI updates on arXiv.org9/10Relevance 9 out of 10
06:00New model for multi-channel time series forecasting using sparse attentionResearch & Sciencecs.AI updates on arXiv.org8/10Relevance 8 out of 10
06:00Towards reliable truth-aligned uncertainty estimation in large language modelsResearch & Sciencecs.AI updates on arXiv.org9/10Relevance 9 out of 10
06:00Detecting multi-agent collusion via multi-agent interpretabilityResearch & Sciencecs.AI updates on arXiv.org9/10Relevance 9 out of 10
06:00CrystalReasoner: Reasoning and RL for Property-Conditioned Crystal Structure GenerationResearch & Sciencecs.AI updates on arXiv.org9/10Relevance 9 out of 10
06:00Brain Vascular Age Prediction Using Cerebral Blood Flow and AIResearch & Sciencecs.AI updates on arXiv.org8/10Relevance 8 out of 10
06:00New approach for adaptive user representations using diffusion modelsResearch & Sciencecs.AI updates on arXiv.org8/10Relevance 8 out of 10
06:00ERS: Hierarchical reasoning system based on explicit state graphsResearch & Sciencecs.AI updates on arXiv.org8/10Relevance 8 out of 10
06:00ECHOES: Recursive History Compression for Long-Horizon GUI AgentsResearch & Sciencecs.AI updates on arXiv.org9/10Relevance 9 out of 10
06:00Sensitivity Analysis of Decision Rules in an Agent-Based Agro-Ecological ModelResearch & Sciencecs.AI updates on arXiv.org8/10Relevance 8 out of 10
06:00Hierarchical feedback-guided LLM planning for executable control in cyber-physical systemsResearch & Sciencecs.AI updates on arXiv.org8/10Relevance 8 out of 10
06:00Null controls are necessary but insufficient for scientific AI discoveryResearch & Sciencecs.AI updates on arXiv.org9/10Relevance 9 out of 10
06:00L-SplineFNO: Neural Operator for Irregular Meshes in EngineeringResearch & Sciencecs.AI updates on arXiv.org9/10Relevance 9 out of 10
06:00Functional welfare of AI as a safety concernResearch & Sciencecs.AI updates on arXiv.org8/10Relevance 8 out of 10
06:00An AI agent for auditing reproducibility in conference papersResearch & Sciencecs.AI updates on arXiv.org8/10Relevance 8 out of 10
06:00Harness-Delta Attribution: Dissecting Gains From Harness EvolutionResearch & Sciencecs.AI updates on arXiv.org9/10Relevance 9 out of 10
06:00LLM-based agents fail formal planning validation in most casesResearch & Sciencecs.AI updates on arXiv.org9/10Relevance 9 out of 10
06:00Are Large Reasoning Models Good for Everyday Reasoning?Research & Sciencecs.AI updates on arXiv.org9/10Relevance 9 out of 10
06:00Repairing LLM-generated specifications with deterministic diagnosisResearch & Sciencecs.AI updates on arXiv.org9/10Relevance 9 out of 10
06:00Autonomous AI Discovery at the Limits of Computability: Pushing the Busy Beaver FrontierResearch & Sciencecs.AI updates on arXiv.org9/10Relevance 9 out of 10
06:00FlexUMM: Flexible Representation Learning for Unified Multimodal ModelsResearch & Sciencecs.AI updates on arXiv.org9/10Relevance 9 out of 10
06:00Contradictory effects of verifier feedback in formal theorem provingResearch & Sciencecs.AI updates on arXiv.org8/10Relevance 8 out of 10