wovepaper — the arXiv observatory

The paper introduces ToMap, a multi‑agent system that treats proof autoformalization as a Decomposer‑Formalizer‑Prover pipeline and concentrates test‑time optimization on improving…

#proof autoformalization#multi-agent systems#test-time optimization#formal verification

Publications (496)

ImagineBench: Evaluating Reinforcement Learning with Large Language Model Rollouts

Economic information from Smart Meter: Nexus Between Demand Profile and Electricity Retail Price Between Demand Profile and Electricity Retail Price

A Survey on Large Language Models for Mathematical Reasoning

Dual-AEB: Synergizing Rule-Based and Multimodal Large Language Models for Effective Emergency Braking

Poster: ClawdGo: Endogenous Security Awareness Training for Autonomous AI Agents

The Flare and Warp of the Young Stellar Disk traced with LAMOST DR5 OB-type stars

Denoising of Imaginary Time Response Functions with Hankel projections

Polarized gravitational waves in the parity violating scalar-nonmetricity theory

An authenticated and secure accounting system for international emissions trading

Improving Sample Efficiency of Reinforcement Learning with Background Knowledge from Large Language Models

Learnware of Language Models: Specialized Small Language Models Can Do Big

FedGT: Federated Node Classification with Scalable Graph Transformer

Information-Scrambling-Enhanced Quantum Sensing Beyond the Standard Quantum Limit

Transferable Reward Learning by Dynamics-Agnostic Discriminator Ensemble

Non-Adversarial Imitation Learning Provably Free of Compounding Errors: The Value Flow Mechanism

Optimal Electricity Storage Sharing Mechanism for Single Peaked Time-of-Use Pricing Scheme

Detecting fractional Josephson effect through $4Ï$ phase slip

Spatially covariant gravity with two degrees of freedom: A perturbative analysis up to cubic order

Efficient Human-AI Coordination via Preparatory Language-based Convention

Rule Designs for Optimal Online Game Matchmaking

Experimental Measurement of the Quantum Metric Tensor and Related Topological Phase Transition with a Superconducting Qubit

Optimal control of stimulated Raman adiabatic passage in a superconducting qudit

Initial performance results of the JUNO detector

Play building blocks on population distribution of multilevel superconducting flux qubit with quantum interference

The Permanent Rank of a Matrix (Part Three) Note on the Additive Basis Conjecture

ECVL-ROUTER: Scenario-Aware Routing for Vision-Language Models

TS-SAM: Fine-Tuning Segment-Anything Model for Downstream Tasks

Tensor Manifold-Based Graph-Vector Fusion for AI-Native Academic Literature Retrieval

The Role of the Hercules Autonomous Vehicle During the COVID-19 Pandemic: An Autonomous Logistic Vehicle for Contactless Goods Transportation

Smart Contract Generation for Inter-Organizational Process Collaboration

Stable Continual Reinforcement Learning via Diffusion-based Trajectory Replay

Pseudo-label Guided Cross-video Pixel Contrast for Robotic Surgical Scene Segmentation with Limited Annotations

ASBSO: An Improved Brain Storm Optimization With Flexible Search Length and Memory-Based Selection

Synergistic Signal Denoising for Multimodal Time Series of Structure Vibration

Energy Relaxation Time between Macroscopic Quantum Levels in a Superconducting Persistent Current Qubit

Observation of coherent oscillation in single-passage Landau-Zener transitions

Optimal Storage Control for Dynamic Pricing

Accelerated quantum adiabatic transfer in superconducting qubits

Virtual-Taobao: Virtualizing Real-world Online Retail Environment for Reinforcement Learning

Order and Chaos near Equilibrium Points in the Potential of Rotating Highly Irregular-shaped Celestial Bodies

On the approximation ability of evolutionary optimization with application to minimum set cover

Quantum Dynamics of a Microwave Driven Superconducting Phase Qubit Coupled to a Two-Level System

Landau-Zener-StÃ¼ckelberg Spectroscopy of a Superconducting Flux Qubit

Adversarial Imitation Learning with General Function Approximation: Theoretical Analysis and Practical Algorithms

NewsBERT: Distilling Pre-trained Language Model for Intelligent News Application

Vulnerability Analysis for Data Driven Pricing Schemes

The common trend of saltation particles on the surface of fast-rotating asteroids

Minimal pole representation and analytic continuation of matrix-valued correlation functions

Demonstration of Hopf-link semimetal bands with superconducting circuits

Improve the efficiency of deep reinforcement learning through semantic exploration guided by natural language

Tunable Quantum Beam Splitters for Coherent Manipulation of a Solid-State Tripartite Qubit System

PhyTracker: An Online Tracker for Phytoplankton

Cascaded Algorithm-Selection and Hyper-Parameter Optimization with Extreme-Region Upper Confidence Bound Bandit

Structure-Aware Piano Accompaniment via Style Planning and Dataset-Aligned Pattern Retrieval

Conductor Galloping Prediction on Imbalanced Datasets: SVM with Smart Sampling

Unambiguous fluctuation decomposition of the self-energy: pseudogap physics beyond spin fluctuations

Geometric Mixture Models for Electrolyte Conductivity Prediction

GRAIN: Multi-Granular and Implicit Information Aggregation Graph Neural Network for Heterophilous Graphs

Provably Efficient Adversarial Imitation Learning with Unknown Transitions

Nemotron 3 Super: Open, Efficient Mixture-of-Experts Hybrid Mamba-Transformer Model for Agentic Reasoning

Electromagnetically induced interference at superconducting qubits

Momentum Calibration for Text Generation

Population Inversion Induced by Landau-Zener Transition in a Strongly Driven rf-SQUID

ReMax: A Simple, Effective, and Efficient Reinforcement Learning Method for Aligning Large Language Models

NeoRL: A Near Real-World Benchmark for Offline Reinforcement Learning

Maximizing Submodular or Monotone Approximately Submodular Functions by Multi-objective Evolutionary Algorithms

Offline Multi-agent Continual Cooperation via Skill Partition and Reuse

Error Bounds of Imitating Policies and Environments

A Topology-Controlled Photonic Cavity Based on the Near-Conservation of the Valley Degree of Freedom

Fabrication of airbridges with gradient exposure

Be Your Own Teacher: Steering Protein Language Models via Unsupervised Reward Optimization

Breaking the scalability barrier via a vertical tunable coupler in 3D integrated transmon system

Language Model Self-improvement by Reinforcement Learning Contemplation

Many-Body Effect of Mesoscopic Localized States in MoS$_2$ Monolayer

Cancelling microwave crosstalk with fixed-frequency qubits

MedHorizon: Towards Long-context Medical Video Understanding in the Wild

Efficient Communication via Self-supervised Information Aggregation for Online and Offline Multi-agent Reinforcement Learning

Agentic Unlearning: When LLM Agent Meets Machine Unlearning

NPVForensics: Jointing Non-critical Phonemes and Visemes for Deepfake Detection

Detecting fractional Josephson effect through $4Ï$ phase slip