Harshikaa Agrawal on Muck Rack

Harshikaa Agrawal

Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work. Claim your profile

Get in touch with Harshikaa

Contact Harshikaa, search articles and posts on X, monitor coverage, and track replies from one place.

Learn more about Muck Rack

Actions

Share this page

Is this you?

As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.
Claim your profile

Articles

lf-lean : The frontier of verified software engineering

|
By Jeffrey Chang, Vishesh Saraswat, Harshikaa Agrawal
| theorem.dev
Figure 1: Closing the Gap Between Verified and Unverified Software Engineering. Adapted from METR’s Time Horizon plot, including software verification benchmarks where AIs write code and then prove it correct. We plot only the time horizon for software implementation (not verification) for an an apples-to-apples comparison of how much functionality is implemented via each method of software development.
Open in Who Shared Issue with article?
See all 1 articles

Actions

Share this page

Is this you?

As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.
Claim your profile

Get in touch with Harshikaa

Contact Harshikaa, search articles and posts on X, monitor coverage, and track replies from one place.

Learn more about Muck Rack
 •  Privacy  •  Terms  •  Security and Legal  •   •   •   • 

© 2026 Muck Rack

SOC 2® Certified