Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
14
applesilicon
applesilicon
Follow
AI & ML interests
None yet
Recent Activity
new
activity
14 days ago
meituan-longcat/AMO-Bench:
[Bug Report] Problem 42: quantifier ambiguity + missing zero-probability cases; endpoint at p equals 1 needs a separate case
new
activity
15 days ago
meituan-longcat/AMO-Bench:
[Bug Report] Problem 49: labeled answer 16 optimizes the wrong objective — correct guarantee is 273
new
activity
15 days ago
meituan-longcat/AMO-Bench:
[Bug Report] Problem 38: please clarify “encapsulated” as an isolated complement point; under the standard definition the dataset answer is correct
View all activity
Organizations
None yet
applesilicon
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
New activity in
meituan-longcat/AMO-Bench
14 days ago
[Bug Report] Problem 42: quantifier ambiguity + missing zero-probability cases; endpoint at p equals 1 needs a separate case
#16 opened 14 days ago by
applesilicon
New activity in
meituan-longcat/AMO-Bench
15 days ago
[Bug Report] Problem 49: labeled answer 16 optimizes the wrong objective — correct guarantee is 273
1
#15 opened 15 days ago by
applesilicon
[Bug Report] Problem 38: please clarify “encapsulated” as an isolated complement point; under the standard definition the dataset answer is correct
#14 opened 15 days ago by
applesilicon
[Bug Report] Problem 33: minimum is 42, not 34
#13 opened 15 days ago by
applesilicon
[Bug Report] Problem 29: The statement’s third term is ill-indexed; even after “fixing” it the constraints are inconsistent
#12 opened 15 days ago by
applesilicon
[Bug Report] Problem 16: geometry bounds \(d_i\le 1.7262\), so the required equality cannot hold (dataset answer \(\boxed{68}\) can’t be valid)
#11 opened 15 days ago by
applesilicon
[Bug Report] Problem 15: The provided solution misreads \(b^3d^2\) as \(b^2d^2\); a counterexample beats \(9\sqrt3/2\)
#10 opened 15 days ago by
applesilicon
[Bug Report] Problem 14: labeled minimum 59 is incorrect — missing negative-root branches; true minimum is 215
#9 opened 15 days ago by
applesilicon
[Bug Report] Problem 30: labeled minimum 3736 is not minimal — counterexample achieves 239089/64
❤️
2
4
#8 opened 20 days ago by
applesilicon
New activity in
meituan-longcat/AMO-Bench
18 days ago
[Bug Report] Problem 26 seems identical to Berkeley Math Circle 2014–2015 Monthly Contest 3, Problem 4
1
#3 opened 4 months ago by
applesilicon
[Bug Report] Problem 35: Official solution misuses “positive integers”, final count should be 7656 (not 7657)
4
#4 opened 4 months ago by
applesilicon
New activity in
moonshotai/Kimi-K2.5
19 days ago
docs: fix vLLM tensor parallel flag in deploy guide
1
#24 opened 19 days ago by
applesilicon
New activity in
meituan-longcat/AMO-Bench
20 days ago
I want to know if there any agent can resolve 100%?
4
#7 opened about 2 months ago by
Willjoe
New activity in
meituan-longcat/AMO-Bench
about 2 months ago
Sharing my results for Grok-4 (with tools), gpt-oss-120b (w/ and w/o Python tool), gpt-oss-20b (w/ Python tool) and GPT-5-high (w/ Python tool)
🚀
1
3
#5 opened 3 months ago by
applesilicon
Sharing my results for Grok-4 (with tools), gpt-oss-120b (w/ and w/o Python tool), gpt-oss-20b (w/ Python tool) and GPT-5-high (w/ Python tool)
🚀
1
3
#5 opened 3 months ago by
applesilicon
New activity in
meituan-longcat/AMO-Bench
4 months ago
[Bug Report] Problem 35: Official solution misuses “positive integers”, final count should be 7656 (not 7657)
4
#4 opened 4 months ago by
applesilicon
[Bug Report] Problem 26 seems identical to Berkeley Math Circle 2014–2015 Monthly Contest 3, Problem 4
1
#3 opened 4 months ago by
applesilicon