:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Chen, Zheyu, Zhuang, Huiteng, Li, Zhuohuan, Li, Chuanhao
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2603.03784
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

VernaCopter: Disambiguated Natural-Language-Driven Robot via Formal Specifications
by: van de Laar, Teun, et al.
Published: (2024)

Yume: An Interactive World Generation Model
by: Mao, Xiaofeng, et al.
Published: (2025)

Evaluating Supervised Learning Models for Fraud Detection: A Comparative Study of Classical and Deep Architectures on Imbalanced Transaction Data
by: Wang, Chao, et al.
Published: (2025)

Discrete World Models via Regularization
by: Bizzaro, Davide, et al.
Published: (2026)

CorridorVLA: Explicit Spatial Constraints for Generative Action Heads via Sparse Anchors
by: Li, Dachong, et al.
Published: (2026)

Formalization Driven LLM Prompt Jailbreaking via Reinforcement Learning
by: Wang, Zhaoqi, et al.
Published: (2025)

Federated Linear Contextual Bandits with Heterogeneous Clients
by: Blaser, Ethan, et al.
Published: (2024)

Provably Efficient Algorithm for Best Scoring Rule Identification in Online Principal-Agent Information Acquisition
by: Wang, Zichen, et al.
Published: (2025)

From Observations to Events: Event-Aware World Model for Reinforcement Learning
by: Peng, Zhao-Han, et al.
Published: (2026)

Multi-Sourced Compositional Generalization in Visual Question Answering
by: Li, Chuanhao, et al.
Published: (2025)

MAFIG: Multi-agent Driven Formal Instruction Generation Framework
by: Zhao, Shixing, et al.
Published: (2026)

Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications
by: Zhang, Liao, et al.
Published: (2026)

Saarthi for AGI: Towards Domain-Specific General Intelligence for Formal Verification
by: Kumar, Aman, et al.
Published: (2026)

Learning to Disprove: Formal Counterexample Generation with Large Language Models
by: Li, Zenan, et al.
Published: (2026)

PERMA: Benchmarking Personalized Memory Agents via Event-Driven Preference and Realistic Task Environments
by: Liu, Shuochen, et al.
Published: (2026)

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

AssertionForge: Enhancing Formal Verification Assertion Generation with Structured Representation of Specifications and RTL
by: Bai, Yunsheng, et al.
Published: (2025)

Expected Value Alignment for Generative Reward Modeling in Formal Mathematics Verification
by: Ji, Shihao, et al.
Published: (2026)

WorldGPT: Empowering LLM as Multimodal World Model
by: Ge, Zhiqi, et al.
Published: (2024)

Evaluating the World Model Implicit in a Generative Model
by: Vafa, Keyon, et al.
Published: (2024)

AI Application in Anti-Money Laundering for Sustainable and Transparent Financial Systems
by: Nie, Chuanhao, et al.
Published: (2025)

SridBench: Benchmark of Scientific Research Illustration Drawing of Image Generation Model
by: Chang, Yifan, et al.
Published: (2025)

Learning to Generate Formally Verifiable Step-by-Step Logic Reasoning via Structured Formal Intermediaries
by: Chen, Luoxin, et al.
Published: (2026)

Auditing and Fixing Economic Validity in Tabular Foundation Models for Discrete Choice
by: Wang, Yingshuo, et al.
Published: (2026)

Text Generation Beyond Discrete Token Sampling
by: Zhuang, Yufan, et al.
Published: (2025)

Domino: Eliminating Communication in LLM Training via Generic Tensor Slicing and Overlapping
by: Wang, Guanhua, et al.
Published: (2024)

Closing the Expression Gap in LLM Instructions via Socratic Questioning
by: Sun, Jianwen, et al.
Published: (2025)

Consistency of Compositional Generalization across Multiple Levels
by: Li, Chuanhao, et al.
Published: (2024)

RS-WorldModel: a Unified Model for Remote Sensing Understanding and Future Sense Forecasting
by: Xu, Linrui, et al.
Published: (2026)

Enhancing Formal Software Specification with Artificial Intelligence
by: Nassar, Antonio Abu, et al.
Published: (2026)

A High-Quality Dataset and Reliable Evaluation for Interleaved Image-Text Generation
by: Feng, Yukang, et al.
Published: (2025)

Model Specific Task Similarity for Vision Language Model Selection via Layer Conductance
by: Yang, Wei, et al.
Published: (2026)

Doubling Your Data in Minutes: Ultra-fast Tabular Data Generation via LLM-Induced Dependency Graphs
by: Yang, Shuo, et al.
Published: (2025)

IA-T2I: Internet-Augmented Text-to-Image Generation
by: Li, Chuanhao, et al.
Published: (2025)

Group Deliberation Oriented Multi-Agent Conversational Model for Complex Reasoning
by: Shi, Zheyu, et al.
Published: (2025)

Automated Constraint Specification for Job Scheduling by Regulating Generative Model with Domain-Specific Representation
by: Shi, Yu-Zhe, et al.
Published: (2025)

WorldScore: A Unified Evaluation Benchmark for World Generation
by: Duan, Haoyi, et al.
Published: (2025)

Can Large Language Models Learn Formal Logic? A Data-Driven Training and Evaluation Framework
by: Xia, Yuan, et al.
Published: (2025)

RewardDS: Privacy-Preserving Fine-Tuning for Large Language Models via Reward Driven Data Synthesis
by: Wang, Jianwei, et al.
Published: (2025)

InMind: Evaluating LLMs in Capturing and Applying Individual Human Reasoning Styles
by: Li, Zizhen, et al.
Published: (2025)