4 papers
VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving
Manish Acharya, Zhenyu Liao, Yueke Zhang +3
LLM-based formal provers often collapse rich verifier signals (syntax errors, type mismatches, partial goal progress) into a binary pass/fail bit. We present VERITAS, a zero-shot f…
STA-FEM: Exact Streaming Assembly for Preplanned Dynamic Tetrahedral Topology Edits
Manish Acharya, David Hyde
Dynamic tetrahedral simulation pipelines rebuild topology-dependent solver state after every fracture, refinement, or merge event - discarding structural continuity that survives e…
Efficient Sliced Wasserstein Distance Computation via Adaptive Bayesian Optimization
Manish Acharya, David Hyde
The sliced Wasserstein distance (SW) reduces optimal transport on to a sum of one-dimensional projections, and thanks to this efficiency, it is widely used in geomet…
Optimizing Code Runtime Performance through Context-Aware Retrieval-Augmented Generation
Manish Acharya, Yifan Zhang, Kevin Leach +1
Optimizing software performance through automated code refinement offers a promising avenue for enhancing execution speed and efficiency. Despite recent advancements in LLMs, a sig…