s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs (FM 2026 - Workshop: AIPV)

Mon 18 - Fri 22 May 2026 Tokyo, Japan

Who

Balaji Rao, John Harrison, Soonho Kong, Juneyoung Lee, Carlo Lipizzi

Track

FM 2026 Workshop: AIPV

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Tue 19 May 2026 14:00 - 14:20 at 1F Room 101-103 - AIPV Day 2 Session 3 Neural Network

Balaji Rao

Stevens Institute of Technology

United States

John Harrison

Amazon Web Services

United States

Soonho Kong

Amazon Web Services

United States

Juneyoung Lee

AWS

United States

Carlo Lipizzi

Stevens Institute on Technology

United States

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Tue 19 May
Displayed time zone: Osaka, Sapporo, Tokyo change

14:00 - 15:20	AIPV Day 2 Session 3 Neural NetworkWorkshop: AIPV at 1F Room 101-103

14:00 20m Talk		s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs Workshop: AIPV Balaji Rao Stevens Institute of Technology, John Harrison Amazon Web Services, Soonho Kong Amazon Web Services, Juneyoung Lee AWS, Carlo Lipizzi Stevens Institute on Technology
14:20 20m Talk		Exact Verification of Graph Neural Networks with Incremental Constraint Solving Workshop: AIPV Minghao Liu University of Oxford, Chia-Hsuan Lu University of Oxford, Marta Kwiatkowska University of Oxford
14:40 20m Talk		Formal Reasoning About Confidence and Automated Verification of Neural Networks Workshop: AIPV Mohammad Afzal TCS Research Pune and IIT Bombay India, S. Akshay Indian Institute of Technology, Bombay, India, Blaise Genest IPAL - CNRS - CNRS@CREATE, Ashutosh Gupta Indian Institute of Technology Bombay
15:00 20m Talk		Why Agentic Theorem Prover Works: A Statistical Provability Theory of Mathematical Reasoning Models Workshop: AIPV Sho Sonoda RIKEN / CyberAgent