We stand with Ukraine  

Lawrence Wu

Orcid: 0009-0007-0983-1264

According to our database1, Lawrence Wu authored at least 2 papers between 2016 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
Aristotle: IMO-level Automated Theorem Proving.
[BibTeX]
[DOI]
Tudor Achim
,
Alex Best
,
Alberto Bietti
,
Kevin Der
,
Mathïs Fédérico
,
Sergei Gukov
,
Daniel Halpern-Leistner
,
Kirsten Henningsgard
,
Yury Kudryashov
,
Alexander Meiburg
,
Martin Michelsen
,
Riley Patterson
,
Eric Rodriguez
,
Laura Scharff
,
Vikram Shanker
,
Vladmir Sicca
,
Hari Sowrirajan
,
Aidan Swope
,
Matyas Tamas
,
Vlad Tenev
,
Jonathan Thomm
,
Harold Williams
,
Lawrence Wu
CoRR, October, 2025

2016
Natural Shell: An Assistant for End-User Scripting.
[BibTeX]
[DOI]
Xiao Liu
,
Yufei Jiang
,
Lawrence Wu
,
Dinghao Wu
Int. J. People Oriented Program., 2016


  Loading...