0

Peter O'Hearn

Papers
2

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
Semantic Scholar
Attribution policy →
2papers

Authored papers

2

TerminalWorld: Benchmarking Agents on Real-World Terminal Tasks

arXiv 2026

2026

Logic.py: Bridging the Gap between LLMs and Constraint Solvers

arXiv 2025

2025

Affiliations

No known affiliations.

Frequent co-authors

10

from 2 papers

Chao Peng

1 shared paper

Earl T. Barr

1 shared paper

Federica Sarro

1 shared paper

Han Li

1 shared paper

He Ye

1 shared paper

Jiarui Hu

1 shared paper

Mark Harman

1 shared paper

Pascal Kesseli

1 shared paper

Pengyu Zou

1 shared paper

Ricardo Silveira Cabral

1 shared paper
Peter O'Hearn - AI research profile