Brando Miranda's picture

Brando Miranda

brando

·

https://brando90.github.io/brandomiranda/

AI & ML interests

soccer, music, dance, reading

Recent Activity

upvoted a paper 5 days ago

Latent Adversarial Regularization for Offline Preference Optimization

upvoted a paper 3 months ago

AlphaApollo: Orchestrating Foundation Models and Professional Tools into a Self-Evolving System for Deep Agentic Reasoning

upvoted a paper 6 months ago

Putnam-AXIOM: A Functional and Static Benchmark

View all activity

Organizations

Papers 5

arxiv:2410.18194

arxiv:2410.16429

arxiv:2406.04391

arxiv:2306.13840

models 43

brando/tfa_output_2025_m05_d13_t13h_01m_39s

Text Generation • 8B • Updated May 14, 2025 • 1

brando/tfa_output_2025_m05_d12_t23h_28m_45s

Text Generation • 8B • Updated May 14, 2025 • 1

brando/tfa_output_2025_m05_d13_t13h_51m_30s

Feature Extraction • 2B • Updated May 13, 2025 • 3

brando/tfa_output_2025_m05_d13_t15h_50m_53s

Feature Extraction • 2B • Updated May 13, 2025 • 1

brando/tfa_output_2025_m05_d13_t15h_32m_47s

Feature Extraction • 2B • Updated May 13, 2025 • 4

brando/tfa_output_2025_m05_d13_t13h_38m_56s

Text Generation • 8B • Updated May 13, 2025 • 2

brando/tfa_output_2025_m05_d13_t13h_40m_09s

Text Generation • 8B • Updated May 13, 2025 • 1

brando/tfa_output_2025_m05_d10_t23h_57m_54s

Text Generation • 8B • Updated May 12, 2025 • 1

brando/tfa_output_2025_m05_d10_t23h_34m_59s

Text Generation • 8B • Updated May 11, 2025 • 2

brando/tfa_output_2025_m05_d10_t23h_58m_25s

Text Generation • 8B • Updated May 11, 2025 • 1

datasets 12

brando/minif2f-lean4

Viewer • Updated May 6, 2025 • 488 • 390

brando/proofnet-v3-lean4

Viewer • Updated May 6, 2025 • 365 • 3

brando/putnam-axiom-dataset-text-only

Viewer • Updated Nov 6, 2024 • 554 • 2 • 1

brando/olympiad-bench-imo-math-boxed-825-v2-21-08-2024

Viewer • Updated Nov 6, 2024 • 1.65k • 142 • 5

brando/small-open-web-math-dataset-v2

Viewer • Updated Nov 1, 2024 • 10k • 25 • 1

brando/small-open-web-math-dataset

Viewer • Updated Nov 1, 2024 • 10k • 9 • 1

brando/putnam_bench_informal

Viewer • Updated Oct 31, 2024 • 645 • 4 • 1

brando/random-all-ascii-dataset

Viewer • Updated Oct 29, 2024 • 15k • 11 • 1

brando/small-c4-dataset

Viewer • Updated Oct 29, 2024 • 30k • 655 • 7

brando/Coq-Gym-Data-Set

Viewer • Updated Aug 11, 2024 • 2.2M • 14 • 4

View 12 datasets