Langston Nashold

According to our database, Langston Nashold authored at least 6 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

FormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?

Nikil Ravi, Kexing Ying, Vasilii Nesterov, Rayan Krishnan, Elif Uskuplu, Bingyu Xia, Janitha Aswedige, Langston Nashold

CoRR, March, 2026

Vibe Code Bench: Evaluating AI Models on End-to-End Web Application Development.

Hung Tran, Langston Nashold, Rayan Krishnan, Antoine Bigeard, Alex Gu

Proceedings of the ACM Conference on AI and Agentic Systems, 2026

Valkyrie: A Microservice-Based Framework for Scalable Evaluation of AI Agents.

Jarett Forzano, Omar Almatov, Langston Nashold, Nikil Ravi, Orestes Kassian

Proceedings of the ACM Conference on AI and Agentic Systems, 2026

2025

Finance Agent Benchmark: Benchmarking LLMs on Real-world Financial Research Tasks.

Antoine Bigeard, Langston Nashold, Rayan Krishnan, Shirley Wu

CoRR, August, 2025

2023

USat: A Unified Self-Supervised Encoder for Multi-Sensor Satellite Imagery.

Jeremy Irvin, Lucas Tao, Joanne Zhou, Yuntao Ma, Langston Nashold, Benjamin Liu, Andrew Y. Ng

CoRR, 2023

2020

Using LSTM and SARIMA Models to Forecast Cluster CPU Usage.

Langston Nashold, Rayan Krishnan

CoRR, 2020