issues
search
alreadydone
/
contents
GitHub issues as a blog with comment feature, place to publish and/or relay contents, and open discussion forum.
15
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Mathematicians' reactions to AI (and formalization)
#4
alreadydone
closed
1 year ago
0
Language models that create tools, and AI efficiency and democratization
#3
alreadydone
closed
1 year ago
9
simplicial homology and Jordan curve theorem in HOL Light
#2
alreadydone
opened
1 year ago
0
Deep learning for (auto-)formalization / theorem proving / mathematical and general purpose reasoning
#1
alreadydone
opened
4 years ago
5