Skip to content

added real estate python3 and added change name functions to conjectu… #19

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
jpbrooks wants to merge 48 commits into
base: master
Choose a base branch
from
Open

added real estate python3 and added change name functions to conjectu… #19

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
48 commits
Select commit Hold shift + click to select a range
bc833ca
added real estate python3 and added change name functions to conjectu…
jpbrooks May 24, 2021
fde8c8b
added functions from prop_conjecturing
jpbrooks May 27, 2021
60f0d4b
adding option to not print premise or conclusion of a property conjec…
jpbrooks May 27, 2021
bd47edc
adding skips for dalmation in expressions
jpbrooks Jun 9, 2021
a9be954
reinstating spacing
jpbrooks Jun 9, 2021
d1e8f65
added list comprehension for computing and writing values to expressions
jpbrooks Jun 14, 2021
1b8049f
adding newline to end of stdin
jpbrooks Jun 16, 2021
a4a22c9
calls to get_value had arguments reversed; correcting the order
jpbrooks Jun 16, 2021
ae4d677
Merge branch 'nvcleemp:master' into master
jpbrooks Jun 28, 2021
c5e1005
adding ai feynman examples and train test split for covid example
jpbrooks Sep 18, 2021
759e024
adding build_inv and build_prop functions
jpbrooks Nov 8, 2022
026ed87
allowing row names
jpbrooks Nov 14, 2022
6d3fe39
allowing row names
jpbrooks Nov 14, 2022
c7308e5
repairing property definition
jpbrooks Nov 14, 2022
ffcc00d
repairing build_prop function, allowing return of NaN for property co…
jpbrooks Feb 27, 2023
89c197d
Merge branch 'master' of https://github.com/jpbrooks/conjecturing
jpbrooks Feb 27, 2023
7e8166e
updated AI-Feynman comparison
jpbrooks Mar 17, 2023
3f9a2d5
added code to limit unabeled trees
jpbrooks Mar 7, 2025
85dbc8b
updated expressions
jpbrooks Apr 2, 2025
c5cff6c
added ability to specify maximum complexity
jpbrooks Apr 16, 2025
5c29c81
updating handling of ties. an expression is retained only if it prov…
jpbrooks Jun 2, 2025
34ba57f
adding python-only conjecturing for data
jpbrooks Jul 27, 2025
d1b8dd9
updating number of training examples to 900
jpbrooks Jul 27, 2025
bfdd4bb
updating paths
jpbrooks Jul 28, 2025
48f814e
removing output from notebooks
jpbrooks Jul 28, 2025
075dbf0
updating setting expressions executable in real estate example
jpbrooks Jul 28, 2025
c4cbd3b
updating for invariant targets
jpbrooks Jul 31, 2025
54f036b
updating conjecturing
jpbrooks Jul 31, 2025
70ffb8a
updating conjecturing for invariants, handling division by zero
jpbrooks Aug 1, 2025
95a381b
adding invariant conjecture evaluation
jpbrooks Aug 2, 2025
c341e97
adding gravity example
jpbrooks Aug 2, 2025
972c0ce
printing elapsed time
jpbrooks Aug 6, 2025
a36625d
repaired handling of XOR
jpbrooks Feb 17, 2026
60b92ce
SAM/RL scoring update: new selection method
samuelpaulgyamfi Feb 20, 2026
fdf521c
Refine SAM/RL scoring logic
samuelpaulgyamfi Feb 26, 2026
4a149b7
Clean up whitespace in expressions.c
jpbrooks Feb 26, 2026
4327610
Merge pull request #1 from samuelpaulgyamfi/sam-rl-update
jpbrooks Feb 26, 2026
87de4c2
Update conjecturing.py for SAM/RL integration
samuelpaulgyamfi May 13, 2026
da23701
Update Sage conjecturing.py for SAM/RL
samuelpaulgyamfi May 15, 2026
cf26899
Merge pull request #2 from samuelpaulgyamfi/sam-rl-update
jpbrooks May 18, 2026
a5b7965
adding complexity limit to property conjecturing, updating operatorSt…
jpbrooks May 18, 2026
a9e7a08
adding parentheses for command definition
jpbrooks Jun 3, 2026
457d48a
added mcc
jpbrooks Jun 4, 2026
954845f
updated MCC calculation
jpbrooks Jun 4, 2026
d74455c
repairing calculation of recall and setting sam top k default to 10
jpbrooks Jun 10, 2026
c63cc8d
adding complexity to real estate example
jpbrooks Jun 15, 2026
7530496
adding code to select k best conjectures returned by Dalmatian heuris…
jpbrooks Jun 22, 2026
62f29e0
Merge remote-tracking branch 'origin/master'
jpbrooks Jun 22, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1,127 changes: 1,065 additions & 62 deletions c/expressions.c
View file
Open in desktop

Large diffs are not rendered by default.

Loading