OProver: A Unified Framework for Agentic Formal Theorem Proving
Paper • 2605.17283 • Published • 28
GuoLiangTang
Tommy930
AI & ML interests
LLM，NLP，ML
Recent Activity
upvoted a paper about 24 hours ago
OProver: A Unified Framework for Agentic Formal Theorem Proving upvoted a paper 1 day ago
LiteFrame: Efficient Vision Encoders Unlock Frame Scaling in Video LLMs upvoted a paper 1 day ago
Agent Bazaar: Enabling Economic Alignment in Multi-Agent MarketplacesOrganizations
None yet
upvoted a paper about 24 hours ago
upvoted 7
papers 1 day ago
LiteFrame: Efficient Vision Encoders Unlock Frame Scaling in Video LLMs
Paper • 2605.17260 • Published • 21
Agent Bazaar: Enabling Economic Alignment in Multi-Agent Marketplaces
Paper • 2605.17698 • Published • 4
Targeted Neuron Modulation via Contrastive Pair Search
Paper • 2605.12290 • Published • 9
Lance: Unified Multimodal Modeling by Multi-Task Synergy
Paper • 2605.18678 • Published • 63
LongLive-2.0: An NVFP4 Parallel Infrastructure for Long Video Generation
Paper • 2605.18739 • Published • 99
KVPO: ODE-Native GRPO for Autoregressive Video Alignment via KV Semantic Exploration
Paper • 2605.14278 • Published • 36
AI for Auto-Research: Roadmap & User Guide
Paper • 2605.18661 • Published • 58
upvoted 12
papers 2 days ago
DexJoCo: A Benchmark and Toolkit for Task-Oriented Dexterous Manipulation on MuJoCo
Paper • 2605.16257 • Published • 48
Learning to Foresee: Unveiling the Unlocking Efficiency of On-Policy Distillation
Paper • 2605.11739 • Published • 52
CiteVQA: Benchmarking Evidence Attribution for Trustworthy Document Intelligence
Paper • 2605.12882 • Published • 254
WorldAct: Activating Monolithic 3D Worlds into Interactive-Ready Object-Centric Scenes
Paper • 2605.15843 • Published • 4
PhysBrain 1.0 Technical Report
Paper • 2605.15298 • Published • 137
Nudging Beyond the Comfort Zone: Efficient Strategy-Guided Exploration for RLVR
Paper • 2605.15726 • Published • 29
Agentic Discovery of Neural Architectures: AIRA-Compose and AIRA-Design
Paper • 2605.15871 • Published • 8
Flash-GRPO: Efficient Alignment for Video Diffusion via One-Step Policy Optimization
Paper • 2605.15980 • Published • 31
FashionChameleon: Towards Real-Time and Interactive Human-Garment Video Customization
Paper • 2605.15824 • Published • 54
InsightTok: Improving Text and Face Fidelity in Discrete Tokenization for Autoregressive Image Generation
Paper • 2605.14333 • Published • 31
Look Before You Leap: Autonomous Exploration for LLM Agents
Paper • 2605.16143 • Published • 6
PAGER: Bridging the Semantic-Execution Gap in Point-Precise Geometric GUI Control
Paper • 2605.15963 • Published • 9