{"total":17,"rows":[{"id":"2505.08783","title":"CodePDE: An Inference Framework for LLM-driven PDE Solver Generation","created":"2025-05-13","cited_by_count":39,"area":null},{"id":"2505.23486","title":"Autoformalization in the Era of Large Language Models: A Survey","created":"2025-05-29","cited_by_count":21,"area":null},{"id":"2502.07209","title":"Enhancing Physics-Informed Neural Networks Through Feature Engineering","created":"2025-02-11","cited_by_count":8,"area":null},{"id":"2510.15940","title":"Lean Finder: Semantic Search for Mathlib That Understands User Intents","created":"2025-10-08","cited_by_count":8,"area":null},{"id":"2605.09636","title":"PDEAgent-Bench: A Multi-Metric, Multi-Library Benchmark for PDE Solver Generation","created":"2026-05-10","cited_by_count":8,"area":null},{"id":"2509.06322","title":"Text-Trained LLMs Can Zero-Shot Extrapolate PDE Dynamics, Revealing a Three-Stage In-Context Learning Mechanism","created":"2025-09-08","cited_by_count":7,"area":null},{"id":"2509.09810","title":"Towards a Common Framework for Autoformalization","created":"2025-09-11","cited_by_count":7,"area":null},{"id":"2602.01493","title":"OpInf-LLM: Parametric PDE Solving with LLMs via Operator Inference","created":"2026-02-02","cited_by_count":5,"area":null},{"id":"2606.08405","title":"Self-Evolving Scientific Agent Designs Physically Reasoned White-Box Fluid Control","created":"2026-06-07","cited_by_count":4,"area":null},{"id":"2511.00183","title":"PDE-SHARP: PDE Solver Hybrids through Analysis and Refinement Passes","created":"2025-10-31","cited_by_count":3,"area":null},{"id":"2607.10474","title":"Reinforcement Learning with Verifiable Physics: Post-training LLMs with Continuous Rewards","created":"2026-07-11","cited_by_count":2,"area":null},{"id":"2510.11944","title":"TopoAlign: A Framework for Aligning Code to Math via Topological Decomposition","created":"2025-10-13","cited_by_count":0,"area":null},{"id":"2511.11829","title":"Towards Autoformalization of LLM-generated Outputs for Requirement Verification","created":"2025-11-14","cited_by_count":0,"area":null},{"id":"2605.07323","title":"Discovering Ordinary Differential Equations with LLM-Based Qualitative and Quantitative Evaluation","created":"2026-05-08","cited_by_count":0,"area":null},{"id":"2607.22552","title":"MioFFAn: an Annotation Software for Formula Formalization with LLM Automation Capabilities","created":"2026-05-15","cited_by_count":0,"area":null},{"id":"2608.03600","title":"Large language models for partial differential equation workflows","created":"2026-08-04","cited_by_count":0,"area":null},{"id":"2609.35639","title":"GPUPhysBench: Benchmarking Coding Agents for Correct and Efficient GPU Physics Simulation","created":"2026-09-28","cited_by_count":0,"area":null}],"next_cursor":null}