Conference paper
Automated Answer Validation using Text Similarity
Balaji Ganesan, Arjun Ravikumar, et al.
ICON 2023
Paper
Path Calculus in Program Verification
Abstract
A method for proving and disprowng propemes of programs ts described Its mam features are Recurstvely defined procedures can be used m assemons, loop mvarlants are not necessary, absence of run time errors is proven, counterexamples to incorrect programs can be given Experience with the method's lmplementaUon is reported. © 1978, ACM. All rights reserved.
Related
Eunho Yang, Aurelie C. Lozano, et al.
ICML 2014
Vladimir Yanovski, Israel A. Wagner, et al.
Ann. Math. Artif. Intell.
Workshop paper
Large Language Model Evaluation on Financial Benchmarks
Bing Zhang, Mikio Takeuchi, et al.
ICAIF 2024