小島みなこの競プロ日常
@algorithm_daily_of_minako
468 subscribers
4.01K photos
131 videos
261 files
5.63K links
Download Telegram
About
Blog
Apps
Platform
Join
小島みなこの競プロ日常
468 subscribers
小島みなこの競プロ日常
笑死
77 views
小島みなこの競プロ日常
Forwarded from MiaoTony's Box (MiaoTony 🐱)
#今天又看了啥 #academic #LLM #ICLR
唐杰的 PPT: The ChatGLM’s Road to AGI
https://keg.cs.tsinghua.edu.cn/jietang/publications/iclr24-chatglm-en-v2.pdf
46 views
小島みなこの競プロ日常
79 views
小島みなこの競プロ日常
https://jldodds.github.io/coq-lean-cheatsheet/
coq-lean-cheatsheet
Coq to Lean Tactic Cheatsheet
A quick reference for mapping Coq tactics to Lean tactics
82 views
小島みなこの競プロ日常
https://xenaproject.wordpress.com/
Xena
Mathematicians learning Lean by doing.
84 views
小島みなこの競プロ日常
开幕雷击⚡️
84 views
小島みなこの競プロ日常
万能的 ring
84 views
小島みなこの競プロ日常
ring 门
84 views
小島みなこの競プロ日常
易得 --> AI 能搜出来证明过程。
82 views
小島みなこの競プロ日常
https://mp.weixin.qq.com/s/FoBIqtbrp_RduV6ZgyKjmA
77 views
小島みなこの競プロ日常
???
77 views
小島みなこの競プロ日常
https://github.com/leanprover-community/repl
GitHub
GitHub - leanprover-community/repl: A simple REPL for Lean 4, returning information about errors and sorries.
A simple REPL for Lean 4, returning information about errors and sorries. - leanprover-community/repl
74 views
小島みなこの競プロ日常
https://mp.weixin.qq.com/s/1D5T3pWBOWliA43RBDXt0g
Weixin Official Accounts Platform
杨立昆哈佛大学演讲：生成式大模型很糟糕，我们需要目标驱动的AI
2024年3月28日，杨立昆在哈佛大学数学科学和应用中心（CMSA）做了一场学术演讲。
68 views
小島みなこの競プロ日常
也不冲突
65 views
小島みなこの競プロ日常
https://lovettsoftware.com/NaturalNumbers/Tactics.lean.html
67 views
小島みなこの競プロ日常
https://leanprover-community.github.io/mathlib4_docs/Mathlib/Tactic/ByContra.html
63 views
小島みなこの競プロ日常
https://github.com/leanprover-community/mathlib/blob/65a1391a0106c9204fe45bc73a039f056558cb83/src/data/nat/prime.lean#L82
GitHub
mathlib/src/data/nat/prime.lean at 65a1391a0106c9204fe45bc73a039f056558cb83 · leanprover-community/mathlib
Lean 3's obsolete mathematical components library: please use mathlib4 - leanprover-community/mathlib
69 views
小島みなこの競プロ日常
https://leanprover.github.io/reference/tactics.html
70 views
小島みなこの競プロ日常
太多了。。。。
70 views
小島みなこの競プロ日常
https://lean-lang.org/lean4/doc/examples/bintree.lean.html
65 views