socrat
Datasets
All datasets matching “socrat”soc-ratchakitcha
Royal Gazette Thailand (Ratchakitcha) Dataset
ชุดข้อมูลราชกิจจานุเบกษา (แบบ Machine Readable)
โครงการ Open Law Data Thailand ร่วมกับคณะกรรมาธิการการพาณิชย์และการอุตสาหกรรม วุฒิสภา ได้รับความอนุเคราะห์ข้อมูลจาก สำนักเลขาธิการคณะรัฐมนตรี (สลค.) เพื่อเผยแพร่ข้อมูลกฎหมายไทยสู่สาธารณะในรูปแบบที่ประมวลผลได้ด้วยคอมพิวเตอร์ (Machine Readable) เพื่อส่งเสริมนวัตกรรม Legal Tech และ AI ของประเทศไทย
Dataset Description
ชุดข้อมูลนี้รวบรวมรายการประกาศในราชกิจจานุเบกษา… See the full description on the dataset page: https://huggingface.co/datasets/open-law-data-thailand/soc-ratchakitcha.SocSci210
SocSci210 Dataset
This dataset contains survey response data from social science research, presented in the paper "Finetuning LLMs for Human Behavior Prediction in Social Science Experiments", with three different experimental split mappings.
Mapping Files
The mapping files are located in the metadata/ folder:
metadata/participant_mapping.json: Study-level seen/unseen splits by participant
metadata/task_mapping.json: Sample-level train/eval splits (75/25) by task… See the full description on the dataset page: https://huggingface.co/datasets/socratesft/SocSci210.soc-ratchakitcha
Royal Gazette Thailand (Ratchakitcha) Dataset
ชุดข้อมูลราชกิจจานุเบกษา (แบบ Machine Readable)
โครงการ Open Law Data Thailand ร่วมกับคณะกรรมาธิการการพาณิชย์และการอุตสาหกรรม วุฒิสภา ได้รับความอนุเคราะห์ข้อมูลจาก สำนักเลขาธิการคณะรัฐมนตรี (สลค.) เพื่อเผยแพร่ข้อมูลกฎหมายไทยสู่สาธารณะในรูปแบบที่ประมวลผลได้ด้วยคอมพิวเตอร์ (Machine Readable) เพื่อส่งเสริมนวัตกรรม Legal Tech และ AI ของประเทศไทย
Dataset Description
ชุดข้อมูลนี้รวบรวมรายการประกาศในราชกิจจานุเบกษา… See the full description on the dataset page: https://huggingface.co/datasets/teerapat86/soc-ratchakitcha.socrateai-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.safesae-vla-eccv2026
SafeSAE-VLA: Rollouts and SAE Checkpoint (ECCV 2026)
Artifacts for the paper "SafeSAE-VLA: Interpreting OpenVLA Progress Dynamics with
Sparse Feature Analysis" (ECCV 2026), by Socrates Osorio and Joy Zheyun Yang.
Code: https://github.com/socratesosorio/safesae-vla-eccv2026
This repository provides the OpenVLA rollouts and the trained sparse autoencoder (SAE)
used in the paper's progress analysis, so the reported results can be reproduced.
Contents
rollouts/… See the full description on the dataset page: https://huggingface.co/datasets/socratesosorio/safesae-vla-eccv2026.socrateai-fricke-involution
Fricke Involution on Γ₀(N) — Lean 4 Formalization
Machine-checked Lean 4 formalization of the Fricke involution
WN=(0−1N0)W_N = \begin{pmatrix} 0 & -1 \\ N & 0 \end{pmatrix}WN=(0N−10)
on the congruence subgroup Γ₀(N), and of the operator it induces on modular forms — together with
the papers written around it and the record of a prior-art audit that changed what those papers
claim.
DOI: 10.5281/zenodo.22542571 ·
Author: Xavier Callens · Code: SocrateAI-Lean-Lib
(release… See the full description on the dataset page: https://huggingface.co/datasets/callensxavier/socrateai-fricke-involution.