13 citations · 31 across the 6 of their papers we have counts for
7 papers
Reticulating Local Dynamics in Three-Dimensional Covalent Organic Frameworks
Francesco Tavani, Saber Mirzaei, M. Saeed Mirzaei +7
In covalent organic frameworks (COFs), the geometry of the building units predetermines the structure of the framework, yet comparable design principles relating the COF linkers to…
Local Structure and Dynamics of Three-Dimensional Covalent Organic Frameworks
Francesco Tavani, Saber Mirzaei, Jian Yin +7
Resolving and controlling the local dynamical properties of covalent organic frameworks (COFs) remains a central challenge, particularly when assembled from large, flexible buildin…
Data-driven Design of Metal-Organic Frameworks with Tunable Negative Thermal Expansion
Prathami Divakar Kamath, Francesco Tavani, Alin Marin Elena +6
Materials with negative thermal expansion (NTE) are essential for applications requiring precise control of thermal expansion. Owing to their exceptional chemical tunability, flexi…
System of Agentic AI for the Discovery of Metal-Organic Frameworks
Theo Jaffrelot Inizan, Sherry Yang, Aaron Kaplan +12
Generative models and machine learning promise accelerated material discovery in MOFs for CO2 capture and water harvesting but face significant challenges navigating vast chemical…
Proving Theorems Recursively
Haiming Wang, Huajian Xin, Zhengying Liu +8
Recent advances in automated theorem proving leverages language models to explore expanded search spaces by step-by-step proof generation. However, such approaches are usually base…
LEGO-Prover: Neural Theorem Proving with Growing Libraries
Haiming Wang, Huajian Xin, Chuanyang Zheng +11
Despite the success of large language models (LLMs), the task of theorem proving still remains one of the hardest reasoning tasks that is far from being fully solved. Prior methods…
Improving Question Answering by Commonsense-Based Pre-Training
Wanjun Zhong, Duyu Tang, Nan Duan +3
Although neural network approaches achieve remarkable success on a variety of NLP tasks, many of them struggle to answer questions that require commonsense knowledge. We believe th…