:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Meadows, Jordan, Zhang, Lan, Freitas, Andre
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Artificial Intelligence Computation and Language
Online-Zugang:	https://arxiv.org/abs/2604.23002
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs
von: Zhang, Terry Jingchen, et al.
Veröffentlicht: (2025)

MedAgentGym: A Scalable Agentic Training Environment for Code-Centric Reasoning in Biomedical Data Science
von: Xu, Ran, et al.
Veröffentlicht: (2025)

GFLean: An Autoformalisation Framework for Lean via GF
von: Pathak, Shashank
Veröffentlicht: (2024)

Multi-Operational Mathematical Derivations in Latent Space
von: Valentino, Marco, et al.
Veröffentlicht: (2023)

DA-Code: Agent Data Science Code Generation Benchmark for Large Language Models
von: Huang, Yiming, et al.
Veröffentlicht: (2024)

A Cloud-based Multi-Agentic Workflow for Science
von: Acharya, Anurag, et al.
Veröffentlicht: (2026)

FANS -- Formal Answer Selection for Natural Language Math Reasoning Using Lean4
von: Yao, Jiarui, et al.
Veröffentlicht: (2025)

Accelerating Social Science Research via Agentic Hypothesization and Experimentation
von: Gupta, Jishu Sen, et al.
Veröffentlicht: (2026)

DeepAnalyze: Agentic Large Language Models for Autonomous Data Science
von: Zhang, Shaolei, et al.
Veröffentlicht: (2025)

LLMs for Science: Usage for Code Generation and Data Analysis
von: Nejjar, Mohamed, et al.
Veröffentlicht: (2023)

PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement
von: Quan, Xin, et al.
Veröffentlicht: (2025)

MA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving
von: Wang, Ruida, et al.
Veröffentlicht: (2025)

A Survey in Mathematical Language Processing
von: Meadows, Jordan, et al.
Veröffentlicht: (2022)

OProver: A Unified Framework for Agentic Formal Theorem Proving
von: Ma, David, et al.
Veröffentlicht: (2026)

HiLDe: Intentional Code Generation via Human-in-the-Loop Decoding
von: González, Emmanuel Anaya, et al.
Veröffentlicht: (2025)

WebShaper: Agentically Data Synthesizing via Information-Seeking Formalization
von: Tao, Zhengwei, et al.
Veröffentlicht: (2025)

STRUCTSENSE: A Task-Agnostic Agentic Framework for Structured Information Extraction with Human-In-The-Loop Evaluation and Benchmarking
von: Chhetri, Tek Raj, et al.
Veröffentlicht: (2025)

Agentic Driving Coach: Robustness and Determinism of Agentic AI-Powered Human-in-the-Loop Cyber-Physical Systems
von: Prahlad, Deeksha, et al.
Veröffentlicht: (2026)

The Third Ambition: Artificial Intelligence and the Science of Human Behavior
von: Neuman, W. Russell, et al.
Veröffentlicht: (2026)

VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
von: Yubeaton, Patrick, et al.
Veröffentlicht: (2025)

Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
von: Liu, Chengwu, et al.
Veröffentlicht: (2026)

Lean-ing on Quality: How High-Quality Data Beats Diverse Multilingual Data in AutoFormalization
von: Chan, Willy, et al.
Veröffentlicht: (2025)

The Science of Evaluating Foundation Models
von: Yuan, Jiayi, et al.
Veröffentlicht: (2025)

Lean Atlas: An Integrated Proof Environment for Scalable Human-AI Collaborative Formalization
von: Yanahama, Banri, et al.
Veröffentlicht: (2026)

Benchmarking Data Science Agents
von: Zhang, Yuge, et al.
Veröffentlicht: (2024)

DSBench: How Far Are Data Science Agents from Becoming Data Science Experts?
von: Jing, Liqiang, et al.
Veröffentlicht: (2024)

Can Coding Agents Reproduce Findings in Computational Materials Science?
von: Huang, Ziyang, et al.
Veröffentlicht: (2026)

FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory
von: Yang, Xiao-Wen, et al.
Veröffentlicht: (2025)

Vibe Coding vs. Agentic Coding: Fundamentals and Practical Implications of Agentic AI
von: Sapkota, Ranjan, et al.
Veröffentlicht: (2025)

The Ever-Evolving Science Exam
von: Wang, Junying, et al.
Veröffentlicht: (2025)

Quasi-symbolic Semantic Geometry over Transformer-based Variational AutoEncoder
von: Zhang, Yingji, et al.
Veröffentlicht: (2022)

Learning Disentangled Semantic Spaces of Explanations via Invertible Neural Networks
von: Zhang, Yingji, et al.
Veröffentlicht: (2023)

BALAR : A Bayesian Agentic Loop for Active Reasoning
von: Echarghaoui, Aymen, et al.
Veröffentlicht: (2026)

SEW: Self-Evolving Agentic Workflows for Automated Code Generation
von: Liu, Siwei, et al.
Veröffentlicht: (2025)

Reasoning with Natural Language Explanations
von: Valentino, Marco, et al.
Veröffentlicht: (2024)

Replicating Human Social Perception in Generative AI: Evaluating the Valence-Dominance Model
von: Gurkan, Necdet, et al.
Veröffentlicht: (2025)

Scalable Qualitative Coding with LLMs: Chain-of-Thought Reasoning Matches Human Performance in Some Hermeneutic Tasks
von: Dunivin, Zackary Okun
Veröffentlicht: (2024)

Memoria: A Scalable Agentic Memory Framework for Personalized Conversational AI
von: Sarin, Samarth, et al.
Veröffentlicht: (2025)

LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning
von: Wang, Jianing, et al.
Veröffentlicht: (2026)

MobEvolve: An Agentic Self-Evolving Heuristic System for Interpretable Human Mobility Generation
von: He, Junlin, et al.
Veröffentlicht: (2026)