Search papers, labs, and topics across Lattice.
Yale University, New Haven, CT, USA
2
0
5
High-fidelity curation of medical multimodal data can drastically improve AI model performance, with MedPMC achieving remarkable clinical relevance and benchmark results.
Autoformalization gets a major upgrade: DSR's neuro-symbolic approach leverages operator trees to outperform end-to-end LLMs, proving that structured representations are key to bridging human and formal mathematics.
