1 citations · 2 across the 8 of their papers we have counts for
4 papers · 1 filter
TIPCODER: Reinforcement Learning Boosted Test-time Instruction Proposer for Code Generation
Minyu Chen, Sihao Wu, Ling-I Wu +5
Test-time scaling for code generation typically explores the solution space by sampling multiple programs from a fixed instruction. We study a complementary direction: instance-lev…
Schwarz: Solver-Aware Agentic Program Verification
Jingyu Ke, Ling-I Wu, Guoqiang Li
Agentic verification systems can often generate source-level specifications that look plausible, but plausibility is not enough: the verifier must still turn those specifications i…
Towards Automated Formal Verification of zkEVMs Using LLM-Guided Constraint Synthesis
Shichen Huang, Zhenghe Jiang, Yi Jiang +3
Zero-Knowledge Ethereum Virtual Machines (zkEVMs) secure Ethereum rollups by generating zero-knowledge proofs that guarantee off-chain execution correctness. However, subtle implem…
Teacher-Aware Evolution of Heuristic Programs from Learned Optimization Policies
Minyu Chen, Song Qin, Ling-I Wu +2
LLM-based automatic heuristic design has shown promise for generating executable heuristics for combinatorial optimization, but existing methods mainly rely on delayed endpoint per…