Cover Image

PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Soroco, Mauricio, Song, Jialin, Xia, Mengzhou, Emond, Kye, Sun, Weiran, Chen, Wuyang
Format:	Preprint
Published:	2025
Subjects:	Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Lean Finder: Semantic Search for Mathlib That Understands User Intents
by: Lu, Jialin, et al.
Published: (2025)

Data-Efficient Inference of Neural Fluid Fields via SciML Foundation Model
by: Liu, Yuqiu, et al.
Published: (2024)

Learning Data-Efficient and Generalizable Neural Operators via Fundamental Physics Knowledge
by: Ma, Siying, et al.
Published: (2026)

Pickleball Flight Dynamics
by: Emond, Kye, et al.
Published: (2024)

Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search
by: Lu, Jialin, et al.
Published: (2026)

WildSmoke: Ready-to-Use Dynamic 3D Smoke Assets from a Single Video in the Wild
by: Liu, Yuqiu, et al.
Published: (2025)

StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion
by: Wu, Yutong, et al.
Published: (2025)

Autoformalizing Euclidean Geometry
by: Murphy, Logan, et al.
Published: (2024)

LE-PDE++: Mamba for accelerating PDEs Simulations
by: Liang, Aoming, et al.
Published: (2024)

TensorLLM: Tensorising Multi-Head Attention for Enhanced Reasoning and Compression in LLMs
by: Gu, Yuxuan, et al.
Published: (2025)

SimPO: Simple Preference Optimization with a Reference-Free Reward
by: Meng, Yu, et al.
Published: (2024)

Data-Efficient Operator Learning via Unsupervised Pretraining and In-Context Learning
by: Chen, Wuyang, et al.
Published: (2024)

AutoOR: Scalably Post-training LLMs to Autoformalize Operations Research Problems
by: Motwani, Sumeet Ramesh, et al.
Published: (2026)

The Surprising Effectiveness of Negative Reinforcement in LLM Reasoning
by: Zhu, Xinyu, et al.
Published: (2025)

Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
by: Zhou, Jin Peng, et al.
Published: (2024)

Autoformalizing Memory Specifications with Agents
by: Ernst, Jan Ole, et al.
Published: (2026)

Lory: Fully Differentiable Mixture-of-Experts for Autoregressive Language Model Pre-training
by: Zhong, Zexuan, et al.
Published: (2024)

Characterizing Paraphrase-Induced Failures in Lean 4 Autoformalization
by: Feng, William, et al.
Published: (2026)

MathAtlas: A Benchmark for Autoformalization in the Wild
by: Patel, Nilay, et al.
Published: (2026)

Reliable Evaluation and Benchmarks for Statement Autoformalization
by: Poiroux, Auguste, et al.
Published: (2024)

Weak-PDE-Net: Discovering Open-Form PDEs via Differentiable Symbolic Networks and Weak Formulation
by: Li, Xinxin, et al.
Published: (2026)

Sheared LLaMA: Accelerating Language Model Pre-training via Structured Pruning
by: Xia, Mengzhou, et al.
Published: (2023)

Monte Carlo Neural PDE Solver for Learning PDEs via Probabilistic Representation
by: Zhang, Rui, et al.
Published: (2023)

Process-Driven Autoformalization in Lean 4
by: Lu, Jianqiao, et al.
Published: (2024)

Rethinking Mixture-of-Agents: Is Mixing Different Large Language Models Beneficial?
by: Li, Wenzhe, et al.
Published: (2025)

Trainable Transformer in Transformer
by: Panigrahi, Abhishek, et al.
Published: (2023)

PANORAMIA: Privacy Auditing of Machine Learning Models without Retraining
by: Kazmi, Mishaal, et al.
Published: (2024)

What is in Your Safe Data? Identifying Benign Data that Breaks Safety
by: He, Luxi, et al.
Published: (2024)

An Evaluation Benchmark for Autoformalization in Lean4
by: Gulati, Aryan, et al.
Published: (2024)

Scalable Complexity Control Facilitates Reasoning Ability of LLMs
by: Hang, Liangkai, et al.
Published: (2025)

On the Learning with Augmented Class via Forests
by: Xu, Fan, et al.
Published: (2025)

ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data
by: Liu, Xiaoyang, et al.
Published: (2025)

Munkres' General Topology Autoformalized in Isabelle/HOL
by: Bryant, Dustin, et al.
Published: (2026)

Reasoning through Verifiable Forecast Actions: Consistency-Grounded RL for Financial LLMs
by: Chen, Jialin, et al.
Published: (2026)

From Equations to Insights: Unraveling Symbolic Structures in PDEs with LLMs
by: Bhatnagar, Rohan, et al.
Published: (2025)

From Solving to Verifying: A Unified Objective for Robust Reasoning in LLMs
by: Wang, Xiaoxuan, et al.
Published: (2025)

Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization
by: Liu, Yuntian, et al.
Published: (2025)

LESS: Selecting Influential Data for Targeted Instruction Tuning
by: Xia, Mengzhou, et al.
Published: (2024)

Data-Free Layer-Adaptive Merging via Fisher Information for Long-to-Short Reasoning LLMs
by: Xia, Tian
Published: (2026)

FinDPO: Financial Sentiment Analysis for Algorithmic Trading through Preference Optimization of LLMs
by: Iacovides, Giorgos, et al.
Published: (2025)