All pull requests

Pull requests

• Add a versioned installed proof-carrying exact-query API

  #63·tugrapaydiner opened Oct 15, 2026Owner·

  ·

• Reduce exact-query construction cost without changing answers or engine policy

  #62·tugrapaydiner opened Oct 15, 2026Owner·

  ·

• Publish unified prepared exact queries and prospective structural transfer validation

  #61·tugrapaydiner opened Oct 15, 2026Owner·

  ·

• Add exact proof-carrying queries and independent CUDD validation

  #60·tugrapaydiner opened Oct 13, 2026Owner·

  ·
  3

• Reject inconsistent compiler and FP benchmark evidence

  #49·tugrapaydiner opened Oct 2, 2026Owner·

  ·

• Reject incomplete total-tree kits and inconsistent evidence

  #48·tugrapaydiner opened Oct 2, 2026Owner·

  ·

• Bound legacy SVM iterators and preserve verified input semantics

  #47·tugrapaydiner opened Oct 2, 2026Owner·

  ·

• Complete source-arithmetic tree execution without external fallback or abstention

  #45·tugrapaydiner opened Sep 30, 2026Owner·

  ·
  1

• Reduce exact tree-verification cost without changing certificate bytes

  #44·tugrapaydiner opened Sep 29, 2026Owner·

  ·

• Complete verified tree deployment with source-bound SDK and end-to-end evidence

  #43·tugrapaydiner opened Sep 29, 2026Owner·

  ·
  1

• Execute compact integer trees with source-bound certificates and official CatBoost fallback

  #42·tugrapaydiner opened Sep 29, 2026Owner·

  ·

• Add calibrated conditional refinement and source-bound evidence checks

  #41·tugrapaydiner opened Sep 29, 2026Owner·

  ·

• Train fixed-budget integer prototypes and evaluate the accuracy–deployment frontier

  #40·tugrapaydiner opened Sep 29, 2026Owner·

  ·

• Test integer feature interactions and compact product kernels; retain failed learning gates

  #39·tugrapaydiner opened Sep 29, 2026Owner·

  ·
  1

• Learn integer kernel metrics and retain matched quality, cost and transfer results

  #38·tugrapaydiner opened Sep 29, 2026Owner·

  ·
  1

• Test nonlinear usefulness on speaker-separated speech and chronological sensor drift

  #37·tugrapaydiner opened Sep 28, 2026Owner·

  ·

• Validate single-lookup m2cgen exports against original upstream tests and all sixteen exporters

  #36·tugrapaydiner opened Sep 28, 2026Owner·

  ·
  1

• Add exact Boolean-domain RBF specialization with matched generated-C controls

  #35·tugrapaydiner opened Sep 27, 2026Owner·

  ·

• Evaluate larger subject-held-out HAR models and deploy the stronger LinearSVC control

  #33·tugrapaydiner opened Sep 27, 2026Owner·

  ·

• Freeze and reproduce five-domain SVM executor panel against native LIBSVM

  #31·tugrapaydiner opened Sep 26, 2026Owner·

  ·
  1