dhruv baronia

Added Issue Templates

2

Added a few templates to file issues. I have added the following templates: - Bug/Performance issues - Build/Installation issues - Documentation issues - Feature Requests

Hey @fengju514! I'm a high school student interested in TensorFlow. I love this project, and have an idea for taking it further. Would you be interested in working together on...

Add support for addition of UCI datasets

8

Most UCI datasets are comma seperated classification datasets, much like the IRIS dataset. The first tutorial in the S4TF docs is one where we train a model for classification based...

Cannot enumerate terms for larger depths

7

Hello, I am trying to enumerate these terms using Enumo. ```rust // ruler/tests/recipes/vec.rs use ruler::{ enumo::{Filter, Metric, Ruleset, Workload}, recipe_utils::{recursive_rules, run_workload, Lang,iter_metric}, Limits, }; use crate::Pred; fn iter_grammar(n: usize) ->...

Multiple domains

1

Is it possible to infer rewrite rules between two distinct domains such that terms from each only occur on the same side of the rewrite rule? How can I return...