A Retrosynthesis-Guided Framework for Molecular Analog Generation
AI

A Retrosynthesis-Guided Framework for Molecular Analog Generation

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. […]

A Retrosynthesis-Guided Framework for Molecular Analog Generation
AI

Higher LLM Throughput using Larger Batch Sizes and KV Cache Compression

[Submitted on 7 Dec 2024 (v1), last revised 3 Jul 2025 (this version, v3)] View a PDF of the paper titled Batch-Max: Higher LLM Throughput using Larger Batch Sizes and KV Cache Compression, by Michael R. Metel and 2 other authors View PDF HTML (experimental) Abstract:Several works have developed eviction policies to remove key-value (KV)

A Retrosynthesis-Guided Framework for Molecular Analog Generation
AI

Subtyping in DHOL — Extended preprint

arXiv:2507.02855v1 Announce Type: cross Abstract: The recently introduced dependent typed higher-order logic (DHOL) offers an interesting compromise between expressiveness and automation support. It sacrifices the decidability of its type system in order to significantly extend its expressiveness over standard HOL. Yet it retains strong automated theorem proving support via a sound and complete translation to

A Retrosynthesis-Guided Framework for Molecular Analog Generation
AI

[2212.05050] The unstable formula theorem revisited via algorithms

[Submitted on 9 Dec 2022 (v1), last revised 2 Jul 2025 (this version, v3)] View a PDF of the paper titled The unstable formula theorem revisited via algorithms, by Maryanthe Malliaris and 1 other authors View PDF HTML (experimental) Abstract:This paper is about the surprising interaction of a foundational result from model theory, about stability

A Critical Review — LessWrong
AI

A Critical Review — LessWrong

Outlive: The Science & Art of Longevity by Peter Attia (with Bill Gifford) gives Attia’s prescription on how to live longer and stay healthy into old age. In this post, I critically review some of the book’s scientific claims that stood out to me. This is not a comprehensive review. I didn’t review assertions that

MIRI Newsletter #123
AI

MIRI Newsletter #123

Published on July 3, 2025 10:56 PM GMT If Anyone Builds It, Everyone Dies As we announced last month, Eliezer and Nate have a book coming out this September: If Anyone Builds It, Everyone Dies. This is MIRI’s major attempt to warn the policy world and the general public about AI. Preorders are live now,

Scroll to Top