小島みなこの競プロ日常
@algorithm_daily_of_minako
467 subscribers
3.92K photos
117 videos
254 files
5.5K links
Download Telegram
About
Blog
Apps
Platform
Join
小島みなこの競プロ日常
467 subscribers
小島みなこの競プロ日常
笑死
61 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
33 views
小島みなこの競プロ日常
52 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
51 views
小島みなこの競プロ日常
https://xenaproject.wordpress.com/
Xena
Mathematicians learning Lean by doing.
46 views
小島みなこの競プロ日常
开幕雷击⚡️
47 views
小島みなこの競プロ日常
万能的 ring
44 views
小島みなこの競プロ日常
ring 门
43 views
小島みなこの競プロ日常
易得 --> AI 能搜出来证明过程。
43 views
小島みなこの競プロ日常
https://mp.weixin.qq.com/s/FoBIqtbrp_RduV6ZgyKjmA
37 views
小島みなこの競プロ日常
???
37 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
35 views
小島みなこの競プロ日常
https://mp.weixin.qq.com/s/1D5T3pWBOWliA43RBDXt0g
Weixin Official Accounts Platform
杨立昆哈佛大学演讲：生成式大模型很糟糕，我们需要目标驱动的AI
2024年3月28日，杨立昆在哈佛大学数学科学和应用中心（CMSA）做了一场学术演讲。
32 views
小島みなこの競プロ日常
也不冲突
32 views
小島みなこの競プロ日常
https://lovettsoftware.com/NaturalNumbers/Tactics.lean.html
30 views
小島みなこの競プロ日常
https://leanprover-community.github.io/mathlib4_docs/Mathlib/Tactic/ByContra.html
20 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
19 views
小島みなこの競プロ日常
https://leanprover.github.io/reference/tactics.html
19 views
小島みなこの競プロ日常
太多了。。。。
19 views
小島みなこの競プロ日常
https://lean-lang.org/lean4/doc/examples/bintree.lean.html
17 views