小島みなこの競プロ日常
@algorithm_daily_of_minako
468 subscribers
4.1K photos
144 videos
265 files
5.83K links
Download Telegram
About
Blog
Apps
Platform
Join
小島みなこの競プロ日常
468 subscribers
小島みなこの競プロ日常
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
48 views
小島みなこの競プロ日常
81 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
84 views
小島みなこの競プロ日常
https://xenaproject.wordpress.com/
Xena
Mathematicians learning Lean by doing.
86 views
小島みなこの競プロ日常
开幕雷击⚡️
86 views
小島みなこの競プロ日常
万能的 ring
86 views
小島みなこの競プロ日常
ring 门
86 views
小島みなこの競プロ日常
易得 --> AI 能搜出来证明过程。
85 views
小島みなこの競プロ日常
https://mp.weixin.qq.com/s/FoBIqtbrp_RduV6ZgyKjmA
80 views
小島みなこの競プロ日常
???
80 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
79 views
小島みなこの競プロ日常
https://mp.weixin.qq.com/s/1D5T3pWBOWliA43RBDXt0g
Weixin Official Accounts Platform
杨立昆哈佛大学演讲：生成式大模型很糟糕，我们需要目标驱动的AI
2024年3月28日，杨立昆在哈佛大学数学科学和应用中心（CMSA）做了一场学术演讲。
73 views
小島みなこの競プロ日常
也不冲突
69 views
小島みなこの競プロ日常
https://lovettsoftware.com/NaturalNumbers/Tactics.lean.html
70 views
小島みなこの競プロ日常
https://leanprover-community.github.io/mathlib4_docs/Mathlib/Tactic/ByContra.html
67 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
72 views
小島みなこの競プロ日常
https://leanprover.github.io/reference/tactics.html
73 views
小島みなこの競プロ日常
太多了。。。。
73 views
小島みなこの競プロ日常
https://lean-lang.org/lean4/doc/examples/bintree.lean.html
69 views
小島みなこの競プロ日常
Forwarded from リーユー via @SIGSLEEP_XMSLESE_bot
https://x.com/lilisan18991118/status/1789627390815268886
X (formerly Twitter)
陈炯明 (@lilisan18991118) on X
典，已经嫖了还要后悔
71 views
小島みなこの競プロ日常
Forwarded from リーユー via @SIGSLEEP_XMSLESE_bot
哈人
69 views