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
2 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
2 days ago
meituan-longcat/AMO-Bench:
[Bug Report] Problem 49: labeled answer 16 optimizes the wrong objective — correct guarantee is 273
new
activity
2 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
2 days ago
[Bug Report] Problem 42: quantifier ambiguity + missing zero-probability cases; endpoint at p equals 1 needs a separate case
#16 opened 2 days ago by
applesilicon
[Bug Report] Problem 49: labeled answer 16 optimizes the wrong objective — correct guarantee is 273
1
#15 opened 2 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 2 days ago by
applesilicon
[Bug Report] Problem 33: minimum is 42, not 34
#13 opened 2 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 2 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 2 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 2 days ago by
applesilicon
[Bug Report] Problem 14: labeled minimum 59 is incorrect — missing negative-root branches; true minimum is 215
#9 opened 2 days ago by
applesilicon
[Bug Report] Problem 30: labeled minimum 3736 is not minimal — counterexample achieves 239089/64
❤️
2
4
#8 opened 8 days ago by
applesilicon
New activity in
meituan-longcat/AMO-Bench
6 days ago
[Bug Report] Problem 26 seems identical to Berkeley Math Circle 2014–2015 Monthly Contest 3, Problem 4
1
#3 opened 3 months ago by
applesilicon
[Bug Report] Problem 35: Official solution misuses “positive integers”, final count should be 7656 (not 7657)
4
#4 opened 3 months ago by
applesilicon
New activity in
moonshotai/Kimi-K2.5
7 days ago
docs: fix vLLM tensor parallel flag in deploy guide
1
#24 opened 7 days ago by
applesilicon
New activity in
meituan-longcat/AMO-Bench
8 days ago
I want to know if there any agent can resolve 100%?
3
#7 opened about 1 month 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
3 months ago
[Bug Report] Problem 35: Official solution misuses “positive integers”, final count should be 7656 (not 7657)
4
#4 opened 3 months ago by
applesilicon
[Bug Report] Problem 26 seems identical to Berkeley Math Circle 2014–2015 Monthly Contest 3, Problem 4
1
#3 opened 3 months ago by
applesilicon