Spaces:
Sleeping
Sleeping
Update functionalities.py
Browse files- functionalities.py +0 -24
functionalities.py
CHANGED
@@ -32,30 +32,6 @@ def find_commutativity_counterexample_elements(_: str) -> str:
|
|
32 |
|
33 |
return ",".join(sorted(counterexample_elements))
|
34 |
|
35 |
-
# Set up the agent
|
36 |
-
model = InferenceClientModel()
|
37 |
-
agent = CodeAgent(
|
38 |
-
tools=[find_commutativity_counterexample_elements],
|
39 |
-
model=model,
|
40 |
-
)
|
41 |
-
|
42 |
-
# Original question from user
|
43 |
-
question = """Given this table defining * on the set S = {a, b, c, d, e}
|
44 |
-
|
45 |
-
|*|a|b|c|d|e|
|
46 |
-
|---|---|---|---|---|---|
|
47 |
-
|a|a|b|c|b|d|
|
48 |
-
|b|b|c|a|e|c|
|
49 |
-
|c|c|a|b|b|a|
|
50 |
-
|d|b|e|b|e|d|
|
51 |
-
|e|d|b|a|d|c|
|
52 |
-
|
53 |
-
provide the subset of S involved in any possible counter-examples that prove * is not commutative. Provide your answer as a comma separated list of the elements in the set in alphabetical order."""
|
54 |
-
|
55 |
-
# Run the agent
|
56 |
-
agent.run(question)
|
57 |
-
|
58 |
-
|
59 |
@tool
|
60 |
def interpret_and_answer(sentence: str) -> str:
|
61 |
"""
|
|
|
32 |
|
33 |
return ",".join(sorted(counterexample_elements))
|
34 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
35 |
@tool
|
36 |
def interpret_and_answer(sentence: str) -> str:
|
37 |
"""
|