155 citations · 183 across the 5 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LG2022★ 3 cited
Graph Contrastive Learning for Materials
Teddy Koker, Keegan Quigley, Will Spaeth +2
Recent work has shown the potential of graph neural networks to efficiently predict material properties, enabling high-throughput screening of materials. Training these models, how…
cs.LG2022
Learning to Prove Trigonometric Identities
Zhou Liu, Yujun Li, Zhengying Liu +2
Automatic theorem proving with deep learning methods has attracted attentions recently. In this paper, we construct an automatic proof system for trigonometric identities. We defin…