eta
Datasets
All datasets matching “eta”pear
Dataset Card for Dataset Name
Dataset Summary
This dataset card aims to be a base template for new datasets. It has been generated using this raw template.
Supported Tasks and Leaderboards
[More Information Needed]
Languages
[More Information Needed]
Dataset Structure
Data Instances
[More Information Needed]
Data Fields
[More Information Needed]
Data Splits
[More Information Needed]
Dataset Creation… See the full description on the dataset page: https://huggingface.co/datasets/etahamad/pear.swe_gym_with_metadata_etashscale_up_swegym_full_annotated_etash
Dataset card for scale_up_swegym_full_annotated_etash
This dataset was made with Curator.
Dataset details
A sample from the dataset:
{
"final_prompt": "a very basic just gradio having app\r\n\r\nfast api 111 fixes issue\r\n\r\nall of my followers now reporting errors and so hard to fix all\r\n\r\ni don't know how can you publish such a devastating bug having version please fix it ASAP\r\n\r\n\r\n```\r\n2024-09-06 00:12:20,515 - INFO - HTTP Request: GET… See the full description on the dataset page: https://huggingface.co/datasets/mlfoundations-dev/scale_up_swegym_full_annotated_etash.Open-M3-Bench
M3-Bench Image Assets
This dataset contains the image assets for M3-Bench: Multi-Modal, Multi-Hop, Multi-Threaded Tool-Using MLLM Agent Benchmark, a benchmark for multimodal tool use under the Model Context Protocol (MCP). M3-Bench targets realistic workflows where an agent must jointly reason over images, text, and MCP tools in multi-hop and sometimes multi-threaded trajectories.
For full details, please see the paper: https://arxiv.org/abs/2511.17729.
Contents… See the full description on the dataset page: https://huggingface.co/datasets/EtaYang10th/Open-M3-Bench.eta32socrateai-eta-quotients
Eta-Quotients in Lean 4
Machine-checked Lean 4 formalization of the arithmetic and analytic layers of Ligozat's
criterion for eta-quotients
f(z) = ∏δ∣Nη(δz)rδf(z) \;=\; \prod_{\delta \mid N} \eta(\delta z)^{r_\delta}f(z)=δ∣N∏η(δz)rδ
together with a precisely named obstruction to the general case.
⚠️ PREPRINT — not peer reviewed. The Lean development compiles and is axiom-audited; those
claims are machine-checked. The paper's exposition has had no external referee.
DOI:… See the full description on the dataset page: https://huggingface.co/datasets/callensxavier/socrateai-eta-quotients.