Jineon Baek's repositories
erdos-tuza-valtr
A formal verification of a mathematics/combinatorics paper "On the Erdős-Tuza-Valtr Conjecture"
sofa-designer
A software that assists a prospected proof of Gerver's conjecture, using a custom geometric branch-and-bound algorithm, and the exact rational QP solver powered by CGAL
carithmetic
A toy javascript project - a game involving cards and arithmetics
erdos-szekeres-sat
An SAT encoding of Erdős-Szekeres conjecture, including counterexamples of its variants
jcpaik.github.io
Academic homepage for Jineon Baek
lean4-samples
Code samples for Lean 4
magimixer
A simple Jupyter notebook for finding Magimixer solutions and generating hard Magimixer problems
mathmd
A small opinionated Obsidian vault to LaTeX transpiler for personal use
samsung-data-challenge
Source codes used for Samsung Data Challenge 2018 as team Campfire
sofa-manuscript
A work-in-progress draft on a discrete geometry problem called the 'moving sofa problem'
trash-nft
An NFT that is not transferrable or burnable once minted
umich-dissertation-template
University of Michigan Rackham Graduate School Dissertation Template (unofficial)
yacht-dice
Yacht dice in React.