joshua/nominal-lstar
1
Fork 0
mirror of https://github.com/Jaxan/nominal-lstar.git synced 2025-04-27 06:37:45 +02:00
Code Issues Releases Activity

Commit graph

  • f8c7b8d766 A little bit more on Mealy machines and updates the README master Joshua Moerman 2024-10-18 16:36:36 +02:00
  • 91d4c6d539 Removed gauge and added tasty and some tests (working towards mealy machines) Joshua Moerman 2024-10-18 16:07:21 +02:00
  • 9c212ccfda Revert previous workaround, as NLambda is now updated Joshua Moerman 2023-07-12 21:32:43 +02:00
  • eb94b82251 Replaces all NominalType with Nominal Joshua Moerman 2023-05-31 15:52:17 +02:00
  • 98f9c6e295 Also simplifies the L* algorithm, which is now a bit faster Joshua Moerman 2021-02-25 16:32:17 +01:00
  • 2004c75471 Got rid of redundant queries + minor changes Joshua Moerman 2021-02-25 14:46:12 +01:00
  • 7b41e7d97c Faster version of the nominal NL* algorithm by specialising the observation table to Booleans Joshua Moerman 2021-02-25 14:19:55 +01:00
  • c2b2907555 Adds a class for tables Joshua Moerman 2021-02-22 13:28:42 +01:00
  • 9a75d5f296 Made a decent automated benchmark Joshua Moerman 2020-11-19 13:04:12 +01:00
  • c4a34b9039 fixed some warnings and did some small cleanup Joshua Moerman 2020-11-17 12:21:46 +01:00
  • 78bb8ef823 added a benchmark Joshua Moerman 2020-11-11 16:46:18 +01:00
  • 1e092a319b (Re)moved some simplify to make it more efficient Joshua Moerman 2020-11-11 16:32:41 +01:00
  • 0b046ca73f Wrote a simpler data structure for the observation table. However, it is slower Joshua Moerman 2020-11-10 15:11:07 +01:00
  • 8a66ccaec5 Rewrote nominal NL* for better performance, by specialising for Booleans Joshua Moerman 2020-08-14 20:11:59 +02:00
  • 5f5b35bbc8 Made NLStar simpler and 3x as fast Joshua Moerman 2020-05-29 10:26:54 +02:00
  • a3e6d0581c simpler benchmarks Joshua Moerman 2020-05-28 09:21:42 +02:00
  • 16b0f6ed79 Cleaned up the cabal file and moved some bits around Joshua Moerman 2020-05-27 18:37:53 +02:00
  • d6173c4381 some cleanup Joshua Moerman 2020-05-25 17:21:01 +02:00
  • 2f88417749 Adds more example on residual languages Joshua Moerman 2020-05-25 16:40:46 +02:00
  • df7a45fb69 Added feature to start with a bigger table Joshua Moerman 2020-05-25 16:38:46 +02:00
  • 56ad54ecb0 Fixes bug that NL* may return sink states Joshua Moerman 2020-05-25 16:33:03 +02:00
  • 96ae5ba868 Forgot to add the new Main2.hs file :-( Joshua Moerman 2017-10-24 14:31:05 +02:00
  • e91859b61f Updates README accordingly Joshua Moerman 2017-10-21 10:45:23 +02:00
  • 7da6db27b3 Two things: Optimisations (now only adds one row to fix closedness, and one column to fix inconsistencies) and IO (now also speaks the protocol used in the new paper) Joshua Moerman 2017-10-21 10:40:59 +02:00
  • 7b062904d8 Updates the README Joshua Moerman 2017-03-30 14:19:05 +01:00
  • b05d958666 Updates it to use the new nlambda (with better support for generics). Joshua Moerman 2017-03-30 13:57:53 +01:00
  • 2d1d5d7bfd Generalizes external Teacher. Uses read-atoms branch from NLambda. Joshua Moerman 2016-12-05 14:47:41 +01:00
  • 3cc387a068 Splits the Teacher.hs into more files Joshua Moerman 2016-12-05 12:35:19 +01:00
  • e475c5b471 Removed some debug IO Joshua Moerman 2016-12-02 16:10:40 +01:00
  • 15a02c4762 Uses the new NLambda features for an external teacher Joshua Moerman 2016-12-02 15:49:48 +01:00
  • e1b00e192b NLambda paragraph Michał Szynwelski 2016-10-09 21:30:33 +02:00
  • b7d48030f0 Prepared a bundles artifact for evaluation Joshua Moerman 2016-10-07 11:47:56 +02:00
  • 2ebd8b9774 Made code anonymous Joshua Moerman 2016-07-06 21:26:03 +02:00
  • 3de97f93c6 Main.hs now read arguments Joshua Moerman 2016-07-04 15:30:00 +02:00
  • 5f51951b0d Optimization of size and maxSize functions. Michał Szynwelski 2016-07-03 15:22:50 +02:00
  • 8d54c1a553 Adds better support for counter membership queries VERY EXPERIMENTAL AND SLOW Joshua Moerman 2016-06-30 11:44:25 +02:00
  • 6337defa0e Adds a counter to the teacher (bery hacky) Joshua Moerman 2016-06-30 10:58:32 +02:00
  • 28145815c6 Improves performance by using more simplify Joshua Moerman 2016-06-28 12:08:10 +02:00
  • 8946bc941e Adds the examples from the paper Joshua Moerman 2016-06-28 10:35:12 +02:00
  • a10c1cb84a Simplifies my own naive take on NL* Joshua Moerman 2016-06-27 14:51:36 +02:00
  • 8998042874 Adds a teacher for NFAs (bounded to a depth). Joshua Moerman 2016-06-27 14:50:57 +02:00
  • a9b3738cd3 Optimization of consistencyTestDirect.candidates function. Michał Szynwelski 2016-06-26 20:22:20 +02:00
  • ec5fe35c79 Simplified consistency in Angluin Joshua Moerman 2016-06-24 13:57:17 +02:00
  • 7109eb1ec6 Improved the Bollig implementation Joshua Moerman 2016-06-24 10:41:00 +02:00
  • e65a099948 Fixes a bug in my Bollig implementation Joshua Moerman 2016-06-23 17:16:02 +02:00
  • 9ac25c4d9b Refactors code to be more modular. Joshua Moerman 2016-06-23 16:20:33 +02:00
  • f24ed31ac8 Implemented NL* by Bollig et al (verbatim) Joshua Moerman 2016-06-23 14:50:30 +02:00
  • 25d47a3550 Refactors the IO monad out. Made functions pure again. Joshua Moerman 2016-06-23 11:16:47 +02:00
  • f5f88a2ef7 Adds the NFA example by Bollig et al Joshua Moerman 2016-06-23 11:16:01 +02:00
  • 43c85612bb Refactors the code to use simpler types. Joshua Moerman 2016-06-22 17:30:26 +02:00
  • 9ee755117e Adds ways to control strictness. Joshua Moerman 2016-06-22 17:27:35 +02:00
  • 600f2fe1e8 Simplification in observation table Joshua Moerman 2016-06-20 16:40:18 +02:00
  • 24e2c1ff88 Hacked NL* together. Joshua Moerman 2016-06-20 16:40:08 +02:00
  • 2e901070d9 Code now compiles on windows as well. (Doesn't run well yet) Joshua Moerman 2016-06-20 09:54:32 +02:00
  • fbcba8c580 Optimization of incompleteness function. Michał Szynwelski 2016-06-17 13:23:14 +02:00
  • c3c6645039 Merge branch 'master' of github.com:UCL-PPLV/nominal-learning Joshua Moerman 2016-06-17 08:58:10 +02:00
  • e403d7dbd6 Adds definition for inconsistency by Bartek Joshua Moerman 2016-06-17 08:47:19 +02:00
  • e683a4e384 Optimization of row function. Michał Szynwelski 2016-06-14 00:09:16 +02:00
  • cb09b2d306 Code: Fixes some warnings and made sure everything compiles out of the box (ghc 7.10) Joshua Moerman 2016-05-10 11:57:27 +02:00
  • afd27369a1 Code: Teacher now uses bisimulation to find counter examples Joshua Moerman 2016-04-29 11:15:42 +01:00
  • 7c0cdcf7c3 Code: Implemented adding CEs as columns (Rivest Schapire variant?) Joshua Moerman 2016-04-28 17:47:38 +01:00
  • 004e71ccd9 Code: some cleanup Joshua Moerman 2016-04-28 17:26:16 +01:00
  • 440e5ef854 Formula simplifications + constants. Michał Szynwelski 2016-04-24 23:15:07 +02:00
  • d52f991a74 Code: Angluin's algorithm with NLambda Joshua Moerman 2016-04-14 17:35:42 +01:00