Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 9, 2025

• no hacking paths

  konstantinosKokos

  committed
  a7b037d

  Copy full SHA for a7b037d

• switch to fastAPI

  konstantinosKokos

  committed
  d6f9534

  Copy full SHA for d6f9534

Commits on Jan 2, 2025

• allow library caching (experimental)

  konstantinosKokos

  committed
  f7d742e

  Copy full SHA for f7d742e

Commits on Nov 7, 2024

• store a few sample processed files

  konstantinosKokos

  committed
  61cf934

  Copy full SHA for 61cf934

Commits on Oct 28, 2024

• settle on module name :p

  konstantinosKokos

  committed
  30e70a7

  Copy full SHA for 30e70a7

Commits on Jan 30, 2024

• make structural validation optional, mark lemmas as imported

  konstantinosKokos

  committed
  7023c0a

  Copy full SHA for 7023c0a

Commits on Jan 28, 2024

• tidy

  konstantinosKokos

  committed
  5eeaf17

  Copy full SHA for 5eeaf17

Commits on Jan 26, 2024

• stop breaking the console

  konstantinosKokos

  committed
  0090ec6

  Copy full SHA for 0090ec6

Commits on Jan 23, 2024

• -

  konstantinosKokos

  committed
  d990a6f

  Copy full SHA for d990a6f

• -

  konstantinosKokos

  committed
  81e7797

  Copy full SHA for 81e7797

• -

  konstantinosKokos

  committed
  9e48775

  Copy full SHA for 9e48775

• Merge branch 'main' of github.com:konstantinosKokos/neural-agda into main

  konstantinosKokos

  committed
  4a43dba

  Copy full SHA for 4a43dba

• oops

  konstantinosKokos

  committed
  1fd0082

  Copy full SHA for 1fd0082

• Merge branch 'main' of github.com:konstantinosKokos/neural-agda into main

  konstantinosKokos

  committed
  6b0baf5

  Copy full SHA for 6b0baf5

• fix pathspec

  konstantinosKokos

  committed
  d1f696f

  Copy full SHA for d1f696f

• allow HP

  konstantinosKokos

  committed
  6f3967e

  Copy full SHA for 6f3967e

• allow HP

  konstantinosKokos

  committed
  d83a9e1

  Copy full SHA for d83a9e1

Commits on Jan 22, 2024

• sys path

  konstantinosKokos

  committed
  7004e24

  Copy full SHA for 7004e24

• specify max_tokens

  konstantinosKokos

  committed
  f556457

  Copy full SHA for f556457

• runner

  konstantinosKokos

  committed
  b7eb96a

  Copy full SHA for b7eb96a

Commits on Jan 19, 2024

• turn to taylor-feature-kernel attention

  konstantinosKokos

  committed
  9af8283

  Copy full SHA for 9af8283

• small tidy

  konstantinosKokos

  committed
  685f8b8

  Copy full SHA for 685f8b8

Commits on Oct 26, 2023

• inference

  konstantinosKokos

  committed
  f0a8a37

  Copy full SHA for f0a8a37

• blah

  konstantinosKokos

  committed
  547a3f5

  Copy full SHA for 547a3f5

• margin based training / evaluation

  konstantinosKokos

  committed
  e33206e

  Copy full SHA for e33206e

Commits on Oct 25, 2023

• take 3 wip (hole/scope visibility, explicit db indexing, definition/type distinctions)

  konstantinosKokos

  committed
  75101fd

  Copy full SHA for 75101fd

Commits on Aug 15, 2023

• whatever

  konstantinosKokos

  committed
  0d56bc6

  Copy full SHA for 0d56bc6

Commits on Aug 11, 2023

• ascertain uniqueness of names

  konstantinosKokos

  committed
  e9653c4

  Copy full SHA for e9653c4

Commits on Aug 10, 2023

• dev

  konstantinosKokos

  committed
  e545621

  Copy full SHA for e545621

Commits on Aug 7, 2023

• update scripts, working (prelim) version

  konstantinosKokos

  committed
  d55fe41

  Copy full SHA for d55fe41

Commits on Aug 2, 2023

• tokenization and binary ASTs for ADTs

  konstantinosKokos

  committed
  b1b32c8

  Copy full SHA for b1b32c8

Commits on Jun 20, 2023

• prework on (async) inference

  konstantinosKokos

  committed
  52e5908

  Copy full SHA for 52e5908

• tidy

  konstantinosKokos

  committed
  f0b4344

  Copy full SHA for f0b4344

Commits on Jun 1, 2023

• save on best

  konstantinosKokos

  committed
  95ac96a

  Copy full SHA for 95ac96a

Commits on May 6, 2023

• backup

  konstantinosKokos

  committed
  7be34a1

  Copy full SHA for 7be34a1

Pagination

Previous

Next