Contributors · creator
Moran Koren
Ben-Gurion University of the Negev, Economics
Credited by RISE skill catalogue
This page lists work that Moran Koren published elsewhere and that E2ER indexes, so that every use of it is credited. It is not an E2ER account.
This is me: claim this page Claiming planned0
published studies reach their work (by others)
+ 0 example
0
records that use their work directly
+ 0 example
0
researchers behind those studies
real and example
11
studies, templates, specialists and skills they contributed
Who builds on whom
left: whose work they use · right: who uses theirs · pale: example study template specialist skill connector dataset researcher creator
How studies reach their work
No published study reaches their work yet.
Their most reused work
None of their work is used by others yet.
Solid: published studies. Light: examples.
Computed from the records on this site: what each study, template and specialist names as used, which study extends which, and who contributed what. 0 studies in total.
Skills (11)
/math-proofSingle-pass discipline for full, gap-free proofs: state what you will show before showing it, sign every term, no "clearly", no overgeneralizing from examples./codex-mathDrives OpenAI Codex as an adversarial mathematical co-processor — verify, write, and explore modes; every output is a lead, not a verdict./co-math-initScaffolds a structured proof-building project (paper.tex, goals, decisions log, workstreams) with strict mode: every gap flagged unproven, nothing complete with/co-math-statusRenders a compact status view of a co-math project — goals, active workstreams, blocked items, pending reviews, recent decisions — as an ASCII diagram./proof-readabilityPost-verification exposition pass for already-verified proofs — six layers (architecture, signposting, justification, notation, intuition, grammar) without chanagent:project-coordinatorFront door of a co-math project — reads goals.md, formalises research intent, dispatches and steers workstreams, filters low-level chatter from the user.agent:literature-reviewerLiterature searches and verified, cited workstream reports; confirms prior art and validates supporting citations for claims in paper.tex.agent:proverDrafts proofs into paper.tex with strict discipline — every step justified, cited, or explicitly marked unproven; never hand-waves.agent:coderPython for computational exploration and numerical verification, with mandatory tests and golden values; cannot complete until tests pass and a reviewer acceptsagent:lean-proverFormalises a lemma in Lean 4 and verifies it with lake build — a green build is the strongest "proven" the system supports; the reviewer re-runs the build ratheagent:paper-reviewerAdversarial gate — a workstream cannot be marked complete until this agent writes an explicit approval file; cross-checks references, unproven blocks, and code-