Cezary Kaliszyk
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Towards Mining Robust Coq Proof Patterns | CoqPL 2025 | 2025-01-25 |
Plans to mine a published Coq dataset for historical breakage and repair patterns, convert Coq scripts into lightweight ASTs, apply tree differencing to… | ||
| Improved Assistance for Interactive Proof | CPP 2024 | 2024-01-15 |
Classifies learning tasks for ITPs and shows concrete wins: simple premise selection (k‑NN) raises Isabelle hammer success from ~38% to ~47%, graph neural nets… | ||
| nothing matches | ||