|
|
|
|
|
|
by LelouBil
1276 days ago
|
|
|
Has anyone tried to make ChatGPT output first order logic statements about it's input problem, then make implications using a solver, then feed the solution back to ChatGPT for usage ? Maybe this could solve the reasoning part. ChatGPT should perform well in translating prompts to statement and vice versa, it's just text to text. |
|
|