2 citations · 2 across the 3 of their papers we have counts for
5 papers
Sequent-Prover: Training Agents for Formal, Checkable SMT-based Reasoning
Debargha Ganguly, Weicong Chen, Mohsen Hariri +13
We introduce Sequent-Prover, a family of verifier-using language-model agents, and the post-training framework that produces them. Agents reason in an executable SMT-LIB scratchpad…
Coefficientwise Extremality and Rigidity for Independent Sets in Bipartite Graph Covers
Yusuke Watanabe
Let be a finite bipartite graph and let be an -fold cover. We compare independent sets of with those of the trivial cover, consisting of di…
LiST: Local-Simplex Test-Time LoRA Fusion
Yihua Shao, Jia Li, Siyu Chen +12
Task-specific LoRA adapters offer a modular way to specialize large language and vision-language models. However, existing adapter composition methods are mostly static and cannot…
GrainGS: Gradient-Decoupled Gaussian Splatting for Efficient Dynamic Novel View Synthesis
Jiahao He, Yihua Shao, Zhengkai Zhao +6
Dynamic scene reconstruction with 3D Gaussian Splatting requires a balance between fine-grained motion modeling, structural stability, and compact representation. Existing per-prim…
TR-DQ: Time-Rotation Diffusion Quantization
Yihua Shao, Deyang Lin, Fanhu Zeng +10
Diffusion models have been widely adopted in image and video generation. However, their complex network architecture leads to high inference overhead for its generation process. Ex…