Skip To Main Content
Emilie Ma on Muck Rack

Emilie Ma

As seen in: Nature, PLOS, BioRxiv, NewsBreak, Yale Daily News

Get in touch with Emilie

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

Learn more about Muck Rack

Actions

Share this page

Articles

Can LLMs model real-world systems in TLA+?

|
By Qian Cheng, Ruize Tang, Emilie Ma
| sigops.org
Editors’ note: AI has been actively pushing the frontier of applied formal methods for computing systems. In this article, the Specula team wrote about their experience of evaluating LLMs on modeling system code, the basic capability for agentic model checking, using TLA+, a specification language for concurrent and distributed systems. The article is the 7th blog in The Next Horizon of System Intelligence series.
Open in Who Shared Issue with article?

SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems

|
By Emilie Ma, Peiyang He, Ruize Tang, Finn Hackett
| arxiv.org
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website. Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them. Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Open in Who Shared View Duplicates (584) Issue with article?

A large C-terminal Rad52 segment acts as a chaperone to Form and Stabilize Rad51 Filaments - Nature Communications

|
By Emilie Ma, Eleni Litsardaki, Myriam Ruault, Maxime Audin, Emilie Navarro, Mickaël Garnier, Clémentine Brocas, Aurélien Thureau, Didier Busso, Xavier Veaute, Raphaël Guérois, Natacha Levrier, Angela Taddei, Françoise Ochsenbein
| Nature Verified
Abstract Homologous recombination (HR) is essential for the repair of DNA double-strand breaks and the restart of stalled replication forks. A critical step in HR is the formation of Rad51 nucleofilaments, which perform homology search and strand invasion of a homologous DNA sequence required for repair synthesis.
Open in Who Shared Issue with article?
See all 9 articles