2 citations · 5 across the 12 of their papers we have counts for
1 paper · 2 filters
Xuan Liu, Dheeraj Kodakandla, Kushagra Srivastva +1
\textbf{VeriTrans} is a reliability-first ML system that compiles natural-language requirements into solver-ready logic with validator-gated reliability. The pipeline integrates an…