Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2409.18778
Cited By
HardCore Generation: Generating Hard UNSAT Problems for Data Augmentation
Neural Information Processing Systems (NeurIPS), 2024
27 September 2024
Joseph Cotnareanu
Zhanguang Zhang
Hui-Ling Zhen
Yingxue Zhang
Mark Coates
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"HardCore Generation: Generating Hard UNSAT Problems for Data Augmentation"
1 / 1 papers shown
Title
DiLA: Enhancing LLM Tool Learning with Differential Logic Layer
Yu Zhang
Hui-Ling Zhen
Zehua Pei
Yingzhao Lian
Lihao Yin
Mingxuan Yuan
Bei Yu
LRM
201
4
0
19 Feb 2024
1
