Repository navigation

feat: evaluation prove type equiv using TypeOperators - #64

Merged

EYH0602 merged 29 commits into

release-0.1.0from

feat-ghc-typechecker

Sep 9, 2025

Commits on Aug 30, 2025
- fix: allow generation to fail
  EYH0602
  committed
  2617c30
- remove unnecessary imports
  EYH0602
  committed
  a917fd0
Commits on Aug 31, 2025
- fix: OpenAI response add reasoning summary
  EYH0602
  committed
  507c521
Commits on Sep 2, 2025
- fix: load_gen_results_json type
  EYH0602
  committed
  b8a0bf6
- fix: analysis_saved script
  EYH0602
  committed
  e35dc5f
- fix: evaluation benchmark name
  EYH0602
  committed
  bcc82ee
- fix: OpenAI response API add summary
  EYH0602
  committed
  cec0c6e
Commits on Sep 3, 2025
- use pydantic-v2
  EYH0602
  committed
  ebb259e
- extract incorrect task-answer pairs
  EYH0602
  committed
  b50c21d
- fix: groundtruth error (#63)
  EYH0602
  authored
  a0c4f9e
Commits on Sep 4, 2025
- extract type variables from source code
  EYH0602
  committed
  a071c8a
- add GHC type check by proving type equiv
  EYH0602
  committed
  6eff8f4
- fix: cp -> process
  EYH0602
  committed
  c808523
- fix: API change for AST
  EYH0602
  committed
  aafcc13
- feat: type prover support new type definition
  EYH0602
  committed
  e579af1
- test: ghc and type_util
  EYH0602
  committed
  0c73488
- feat: use prover_evaluate for base split
  EYH0602
  committed
  e817200
Commits on Sep 5, 2025
- test: add real tfbench test cases, which the deprecated evaluation failed
  EYH0602
  committed
  abe9b40
- alt error to syntax parsing error
  EYH0602
  committed
  38cb54c
- feat: typeclass constrains reorder
  EYH0602
  committed
  ca3c8b7
- fix: AST.get_all_nodes_of_type ignores the root itself
  EYH0602
  committed
  f67954c
- reorder_constraints using compiler frontend static analysis
  EYH0602
  committed
  9f77a85
- feat: add type definitions for pure tasks
  EYH0602
  committed
  0d3e7a7
- test: check type equivalence prover after rewriting mono types
  EYH0602
  committed
  a5814a5
Commits on Sep 6, 2025
- fix: handle type classes alone when ading new definitions
  EYH0602
  committed
  7a52e9d
Commits on Sep 9, 2025
- feat: define new types automatically for pure tasks
  EYH0602
  committed
  7032a3e
- ghc prover remove standalone type class
  EYH0602
  committed
  fb99ad6
- doc: detaile docstring for prover_evaluate
  EYH0602
  committed
  5f8b0ff
- script: analysis_saved run both split
  EYH0602
  committed
  3f44e2a

Commits

Commits on Aug 30, 2025

Commits on Aug 31, 2025

Commits on Sep 2, 2025

Commits on Sep 3, 2025

Commits on Sep 4, 2025

Commits on Sep 5, 2025

Commits on Sep 6, 2025

Commits on Sep 9, 2025