`gym-saturation` is an OpenAI Gym environment for reinforcement learning (RL) agents capable of proving theorems. Currently, only theorems written in a formal language the Thousands Problems Theorem Provers (TPTP) library clausal normal form (CNF) are supported. implements 'given clause' algorithm (similar to one used Vampire and E Prover). Being Python, was inspired by PyRes. In contrast monol...

a periodic increase in blood pressure (bp) occurs during apneic episodes in patients with obstructive sleep apnea (osa). several factors including hypoxemia and an increase in heart rate (hr) were reported to be responsible for this increased bp. to examine the contribution of these two factors in increasing bp, 35 healthy male subjects (mean age±sd= 23.64±3.80) were studied in three experiment...