MLINFO COLLECTION

新着記事

日次更新の新着・公開記事を新しい順に掲載しています。

記事一覧

78 / 125
arxiv

Algebraic World Model: From Exploration to Proofs

AI has made remarkable progress in mathematics, solving challenging problems with machine-checkable proofs in Lean, yet typically relying on predefined mathematical definitions and formal…

nlp
arxiv

Glance: The Generator Is Its Own Reranker

Retrieval-augmented generation commonly serves separate models for reranking and answering, duplicating model residency and passage processing. We introduce Glance, which equips the generator with a…

deep-learning
arxiv

Learning developmental dynamics from lineage context

A central goal of biology is to predict the dynamics of multicellular systems. Lineage context (the states of a cell's sisters, cousins, etc.) could inform these predictions, but how best to leverage…

deep-learning