2 citations · 2 across the 2 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2026
From Meta Idea to Advanced Mathematical Discovery -- Human-AI Co-Discovery of Sign-Embedding Quantum Algorithms
Yanqiao Wang, Jin-Peng Liu, Peng Li +1
AI-assisted mathematics is often evaluated on solving predefined problems. In practice, however, many important advances begin earlier, when a vague research intuition is transform…
cs.LG2024★ 2 cited
AIGS: Generating Science from AI-Powered Automated Falsification
Zijun Liu, Kaiming Liu, Yiqi Zhu +5
Rapid development of artificial intelligence has drastically accelerated the development of scientific discovery. Trained with large-scale observation data, deep neural networks ex…