Hong Seong Pyo

SabaPivot

·

AI & ML interests

AI Safety

Recent Activity

updated a Space 4 days ago

SabaPivot/repro-a-formal-comparison-between-chain-of-thought-and-latent-thought

updated a Space 4 days ago

SabaPivot/repro-facts-in-stats-impacts-of-pretraining-diversity-on-language-model-generalization

updated a Space 4 days ago

SabaPivot/repro-dissecting-multimodal-in-context-learning-modality-asymmetries-and-circuit-dynamics-in-mod

View all activity

Organizations

SabaPivot 's Spaces 321

Reproduction - Dimension-Independent Convergence of Underdamped Langevin Monte Carlo in KL Divergence

Explore a research logbook and collaborate with an AI agent

Reproduction: Certificate-Guided Pruning for Stochastic Lipschitz Optimization

Explore research logbook and sync findings with an AI agent

Repro - On the Provable Suboptimality of Momentum SGD in Nonstationary Stochastic Optimization

Explore research logbook and collaborate with an AI agent

Reproduction - High-Dimensional Learning Dynamics of Quantized Models with STE

Explore research logbook and collaborate with an AI agent

Reproduction: Optimal Fair Aggregation of Crowdsourced Noisy Labels using Demographic Parity Constraints

Track and sync experiment logs with an AI coding agent

Reproduction: Colorful Pinball: Density-Weighted Quantile Regression for Conditional Guarantee of Conformal Prediction

Explore and collaborate on project logbook

Repro - Linear Bandits beyond Inner Product Spaces

Explore and sync experiment logs with an AI collaborator

Reproduction - Differentiable Conformal Training for LLM Reasoning Factuality

Native released-data DCF audit; 6/6 claims supported

Reproduction: Context-free Recognition with Transformers

Explore code, traces, and workspace logs in an interactive logbook

Reproduction: Discovering Scaling Exponents with Physics-Informed Müntz-Szász Networks

Explore and manage experiment logs in an interactive web logbook

Reproduction: Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving

Browse and manage formal problem‑solving logs and traces

Reproduction: DAL: A Practical Prior-Free Black-Box Framework for Piecewise Stationary Bandits

Explore project logs, code, and traces via a web interface

Reproduction: Formalizing and Falsifying Causal Pathways of Rare Events

Explore and manage reproducible research logbooks

Reproduction: Rotation-Invariant Spherical Watermarking via Third-Order SO(3) Representation Coupling

Explore project logs, code, and traces online

Reproduction: Steady-State Behavior of Constant-Stepsize Stochastic Approximation: Gaussian Approximation and Tail Bounds

View and navigate project logs, code, and traces

Reproduction: MiniMax Learning of Interpretable Factored Stochastic Policies from Conjoint Data, with Uncertainty Quantification

Explore experiment logs and collaborate with an AI agent

Reproduction: Probabilistic Modeling of Latent Agentic Substructures in Deep Neural Networks

Explore and collaborate on project logs with an AI assistant

Reproduction: Online Packet Scheduling with Deadlines and Learning

View and manage project logs, code, and traces online

Reproduction: Provably Data-driven Lagrangian Relaxation for Mixed Integer Linear Programming

Explore research logbook with code, traces, and workspace

Reproduction: High-Probability Convergence Guarantees of Decentralized SGD

Explore project logs, code, and traces in an interactive web view

Reproduction: Operator Splitting with Hamilton-Jacobi-based Proximals

Track code, traces, and workspace in an interactive logbook

Reproduction: Unifying Low Dimensional Spectra in Deep Learning

Explore code, traces, and workspace in an interactive logbook

Reproduction: Finite and Corruption-Robust Regret Bounds in Online Inverse Linear Optimization under M-Convex Action Sets

Explore code, traces, and workspace in a collaborative logbook

Reproduction: Causal Modeling of Selection in Evolution

Browse code, traces, and workspace in an interactive logbook